Interpreter for ATS in Java.