#Tue Jul 25 14:11:17 CEST 2006 eclipse.preferences.version=1 encoding/=ISO-8859-1