/** Random-access methods */ public void seek(long pos) throws IOException { super.seek(pos); file.seek(pos); } public long length() throws IOException {
/** Random-access methods */ public void seek(long pos) throws IOException { super.seek(pos); file.seek(pos); } public long length() throws IOException {
/** Random-access methods */ public void seek(long pos) throws IOException { super.seek(pos); file.seek(pos); } public long length() throws IOException {
/** Random-access methods */ @Override public void seek(long pos) throws IOException { super.seek(pos); file.seek(pos); }
/** Random-access methods */ public void seek(long pos) throws IOException { super.seek(pos); file.seek(pos); } public long length() throws IOException {
public void seek(long pos) throws IOException { super.seek(pos); out.seek(pos); }