Renamed InvalidStartOrFinalStateException to UnknownStateException