This commit updates platform.jar to be consistent with the platform source code. Debug messages have been removed or suppressed.
The following file was modified:
M drjava/lib/platform.jar
Authored by: rcartwright 2012-03-19
Parent: [r5488]
Child: [r5490]