Java Prototype for EDSL