Update JavaTools.java

Fixed an error.