reformat JFlex input files

a last vestige of our old, Tufts-era Java formatting style