more (type safe) Java Code in DSL backend