DrJava now asks if the user wants to rename old
language level files so they have the new extensions.
Strange test failures in DefinitionsPaneTest, cannot tell if this is anything I have done now.
Authored by: mgricken 2010-04-27
Parent: [r5236]
Child: [r5238]