tim@18: #Tue Sep 08 09:33:09 CEST 2009
tim@18: org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
tim@18: eclipse.preferences.version=1
tim@18: org.eclipse.jdt.core.compiler.source=1.5
tim@18: org.eclipse.jdt.core.compiler.compliance=1.5