This revision includes a new javalanglevels-base.jar and cosmetic changes to JUnitPanel.java.
The following files were modified:
M lib/javalanglevels-base.jar M lib/dynamicjava-base.jar M src/edu/rice/cs/drjava/ui/JUnitPanel.java
Authored by: rcartwright 2010-03-17
Parent: [r5196]
Child: [r5198]