Create Texpinfix.java