java use tools