Remove ragel from java implementation. JFlex will do.