A parser/scanner generator for Java