Refactoring: Performance Evaluator javadoc changed
Refactoring: Javadoc of the BuchiAutomaton class modified