From 2bfd630098d2cdbe7fbf275e13fe8229a193d3e2 Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Thu, 29 Sep 2005 16:15:42 +0000
Subject: [PATCH] Using JRE15_LIB to permit default JRE to be 1.3 (see
 aspectj5rt and loadtime5)

---
 weaver5/.classpath | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/weaver5/.classpath b/weaver5/.classpath
index 34549e5e8..965fdd1bb 100644
--- 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>
-- 
2.39.5