Update GenerateStateTable.java