rebuild tinytools.jar -> jdk7