#Mon Oct 01 16:54:05 CEST 2007 eclipse.preferences.version=1 encoding/=ISO-8859-1