fix up FloorSEt.java -> FloorSet.java