updates in FSPLs.java