FileOnDisk(File file, String string, long l) throws IOException {
	try {
	    if ((l ^ 0xffffffffffffffffL) == 0L)
		l = 9223372036854775807L;
	    if (l < file.length())
		file.delete();
	    aRandomAccessFile3036 = new RandomAccessFile(file, string);
	    maximumSize = l;
	    aLong3039 = 0L;
	    aFile3046 = file;
	    int i = aRandomAccessFile3036.read();
	    if ((i ^ 0xffffffff) != 0 && !string.equals("r")) {
		aRandomAccessFile3036.seek(0L);
		aRandomAccessFile3036.write(i);
	    }
	    aRandomAccessFile3036.seek(0L);
	} catch (RuntimeException runtimeexception) {
	    throw Class348_Sub17.method2929(runtimeexception,
					    ("so.<init>("
					     + (file != null ? "{...}"
						: "null")
					     + ','
					     + (string != null ? "{...}"
						: "null")
					     + ',' + l + ')'));
	}
    }