#Tue May 25 15:00:03 EDT 2004
encoding/<project>=ISO-8859-1
eclipse.preferences.version=1