Changing the way the JDK7 compiler is created. We now bypass the
ToolProvider class, which cannot be shadowed, and create the class
directly. This allows DrJava to use the JavacTool compiler in the
tools.jar, even when DrJava was started with the JRE instead of the
JDK (as long as it finds the tools.jar).