[Demonstration 1]

[Buggy Method]
@Override
public long getPos() throws IOException {
    checkNotClosed();
    return position;
}

[Buggy Hunk]
public long getPos() throws IOException {

[Patch]
public synchronized long getPos() throws IOException {