simple tool to replace DBGFileChecker.jar

adapt to new frontend output format (separate check for lexer)