Using JRE15_LIB to permit default JRE to be 1.3 (see aspectj5rt and loadtime5)

diff --git a/weaver5/.classpath b/weaver5/.classpath
index 34549e5e8c920b135be56fa701d9197302e35e06..965fdd1bb217989150d98a6c62a0ccd18d85e4d6 100644 (file)
--- a/weaver5/.classpath
+++ b/weaver5/.classpath
@@ -1,6 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-       <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
        <classpathentry kind="src" path="java5-src"/>
        <classpathentry kind="src" path="testsrc"/>
        <classpathentry kind="src" path="java5-testsrc"/>
@@ -12,5 +11,6 @@
        <classpathentry combineaccessrules="false" kind="src" path="/util"/>
        <classpathentry combineaccessrules="false" kind="src" path="/aspectj5rt"/>
        <classpathentry sourcepath="/lib/junit/junit-src.jar" kind="lib" path="/lib/junit/junit.jar"/>
+       <classpathentry sourcepath="/JRE15_SRC" kind="var" path="JRE15_LIB"/>
        <classpathentry kind="output" path="bin"/>
 </classpath>