DynamicJava: Updated plt.jar; removed unnecessary redundant casts (noted by javac 6) -- some remain, because they're produced by javacc (might be fixed with version 4.1) and astgen (should be fixed in current version, but migrating will take some work).