#Sat Jan 15 16:03:17 CET 2005 encoding/=US-ASCII eclipse.preferences.version=1