#Tue Dec 21 12:42:26 CET 2010
encoding//src=ISO-8859-1
encoding//resources=ISO-8859-1
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.4
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.source=1.4
encoding//src-test=ISO-8859-1
org.eclipse.jdt.core.compiler.compliance=1.4