Updated ajdoc projects setting for 1.3 source compliance and 1.4 library compliance...

diff --git a/ajdoc/.classpath b/ajdoc/.classpath
index 69fb98d8c4d91b88fbcece8ae4c09c3a0f7e2544..b675c18b07bdd9bbe65897d9c6e4375d21d49994 100644 (file)
--- a/ajdoc/.classpath
+++ b/ajdoc/.classpath
@@ -1,7 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
        <classpathentry kind="src" path="src"/>
-       <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
        <classpathentry kind="src" path="/asm"/>
        <classpathentry kind="src" path="/org.aspectj.ajdt.core"/>
        <classpathentry kind="src" path="/bridge"/>
@@ -9,5 +8,6 @@
        <classpathentry kind="src" path="testsrc"/>
        <classpathentry sourcepath="/lib/junit/junit-src.jar" kind="lib" path="/lib/junit/junit.jar"/>
        <classpathentry kind="var" path="JAVA_HOME/lib/tools.jar"/>
+       <classpathentry kind="var" path="JRE14_LIB"/>
        <classpathentry kind="output" path="bin"/>
 </classpath>

diff --git a/ajdoc/.settings/org.eclipse.jdt.core.prefs b/ajdoc/.settings/org.eclipse.jdt.core.prefs
new file mode 100644 (file)
index 0000000..12ff67c
--- /dev/null
+++ b/ajdoc/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,12 @@
+#Thu Oct 06 08:32:56 PDT 2005
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=disabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.1
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=1.3
+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=ignore
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=ignore
+org.eclipse.jdt.core.compiler.source=1.3

diff --git a/ajdoc/.settings/org.eclipse.jdt.ui.prefs b/ajdoc/.settings/org.eclipse.jdt.ui.prefs
new file mode 100644 (file)
index 0000000..abe3c57
--- /dev/null
+++ b/ajdoc/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,3 @@
+#Thu Oct 06 08:06:04 PDT 2005
+eclipse.preferences.version=1
+internal.default.compliance=default