This revision fixes a critical bug in PredictiveInputFrame introduced in the recent refactoring to eliminate type warnings.
The following files were modified:
M drjava/lib/platform.jar M drjava/src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
Authored by: rcartwright 2012-03-28
Parent: [r5498]
Child: [r5500]
