Comments were not being lexed; workaround JFlex.