#Thu Jul 05 18:06:20 CEST 2012 eclipse.preferences.version=1 environment/project/0.273149272= environment/project/0.273149272/PATH/delimiter=\: environment/project/0.273149272/PATH/operation=append environment/project/0.273149272/PATH/value=$HOME/dtc-v1.3.0 environment/project/0.273149272/append=true environment/project/0.273149272/appendContributed=true