michael@0: eclipse.preferences.version=1
michael@0: org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
michael@0: org.eclipse.jdt.core.compiler.compliance=1.6
michael@0: org.eclipse.jdt.core.compiler.source=1.6