import java.io.IOException; public class StateFileFormatException extends IOException { // TODO: implement class }