Repairing compile errors in PS.java.