Method pushChar

java/org/apache/jasper/compiler/JspReader.java:214–217

Back up the current cursor by one char, assumes current.cursor > 0, and that the char to be pushed back is not '\n'.

()

     * '\n'.
     */
    void pushChar() {
        current.cursor--;
        current.col--;
    }

    String getText(Mark start, Mark stop) {
        Mark oldstart = mark();