/** * Jumps the specified number of characters back. * * @param p number of characters */ private void prev(final int p) { input.prev(p); }