added discussion of JFlex default rule