Java-framework for solving parity games