IntersectionAutomaton Javadoc updated
IntersectionAutomaton Javadoc updated