But java7 should still have a tools.jar, right?