javac Scanner has the following inconsistent unused code which should be removed.



    /** For debugging purposes: print character.
     */
    private void dch() {
        System.err.print(ch); System.out.flush();
    }