]> git.aero2k.de Git - tmp/jakarta-migration.git/commitdiff
Update Eclipse settings.
authorRichard Millet <richard.millet@berkeley.edu>
Tue, 31 Mar 2009 00:04:45 +0000 (00:04 +0000)
committerRichard Millet <richard.millet@berkeley.edu>
Tue, 31 Mar 2009 00:04:45 +0000 (00:04 +0000)
HelloWorld/HelloWorldClient/.settings/org.eclipse.jdt.core.prefs

index 2a27da41414ffde3864675cf4cd6db9fa08f940b..8a8650d9d6bf8b0b432acc3b75dfaf27b7d0fa44 100644 (file)
@@ -1,5 +1,12 @@
-#Thu Feb 26 16:32:51 PST 2009\r
+#Thu Mar 26 13:03:04 PDT 2009\r
 eclipse.preferences.version=1\r
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled\r
 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5\r
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve\r
 org.eclipse.jdt.core.compiler.compliance=1.5\r
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate\r
+org.eclipse.jdt.core.compiler.debug.localVariable=generate\r
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate\r
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error\r
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error\r
 org.eclipse.jdt.core.compiler.source=1.5\r