DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

DynamicJava: Bug fix in cast check (ClassType.getClass() and ClassType.ofClass() are very different things).

Authored by: dlsmith 2009-09-04

Parent: [r5062]

changed