Use 4-space indent in CUP/JFlex.