settings for 1.5 version
authorDavid ‘Bombe’ Roden <bombe@freenetproject.org>
Sun, 25 May 2008 21:26:19 +0000 (23:26 +0200)
committerDavid ‘Bombe’ Roden <bombe@freenetproject.org>
Sun, 25 May 2008 21:26:19 +0000 (23:26 +0200)
.settings/org.eclipse.jdt.core.prefs [new file with mode: 0644]

diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
new file mode 100644 (file)
index 0000000..45516dc
--- /dev/null
@@ -0,0 +1,12 @@
+#Sun May 25 23:25:49 CEST 2008
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=1.5
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.5