Update spfa.java