-- FIXME omitted definition of $INCLUDE -- Language definition generated by lang2to3 dofile(HL_LANG_DIR.."java.lang") Description="Nice" -- append keywords to Java keywords table.insert(Keywords, { Id=1, List={"native", "requires", "ensures", "let", "var"}, } )