This revision fixes
[ 2052194 ] Javadoc 1.6 fails to link to Java API
M src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java
Authored by: mgricken 2008-08-14
Parent: [r4636]
Child: [r4638]