#Tue Dec 17 10:28:39 CET 2013 eclipse.preferences.version=1 include_path=0;/chief-editor