Update PASTR.java