To get around .java file renames.