DynamicJava: Implemented JLSTypeSystem, which attempts to faithfully match the algorithms specified in JLS and implemented by javac.
Authored by: dlsmith 2009-04-27
Parent: [r4919]
Child: [r4921]