Update ArrayTools.java