Switch to using mirrorapi.jar, removing dependency on tools.jar.

Also fix versions and JDK library for 3.2 work.
9 files changed