Sources of the Java Evaluation Engine - View it on GitHub