infix2.java