* @see java.io.FilterInputStream#mark(int)
*/
@Override
- public void mark(int readlimit) {
+ public synchronized void mark(int readlimit) {
/* do nothing. */
}
* @see java.io.FilterInputStream#reset()
*/
@Override
- public void reset() throws IOException {
+ public synchronized void reset() throws IOException {
/* do nothing. */
}