BuchiAutomaton updated, IllegalArgument exceptions added on different
methods
javadoc added to the methods toXMLString and toFile
ModelChecker, Javadoc updated
IntersectionAutomaton, method computeIntersection() moved
GlobalJFrame renamed