#Mon Oct 11 19:06:45 EDT 2004 encoding/=UTF-8 eclipse.preferences.version=1