Converting Java 7 specification grammar to RAscal