Rename package ForestAutomata to ForestAutomaton