Updated plt.jar; fixed some DrJava code to match the changes.
Authored by: dlsmith 2009-11-20
Parent: [r5131]
Child: [r5133]