JMootcher is a port of the Mootcher-Project to Java