public void mark(int readlimit) throws IOException {synchronized (lock) {super.mark(readlimit);markedLineNumber = lineNumber;markedLastWasCR = lastWasCR;}}

public void mark ( int readlimit ) throws IOException { synchronized ( lock ) { super . mark ( readlimit ) ; markedLineNumber = lineNumber ; markedLastWasCR = lastWasCR ; } }
public override void mark(int readlimit){throw new System.NotImplementedException();}
