String name = file.getPath();  orgFile = file;   tmpFile = new File(name + "." + new Random().nextInt(0x1000000) + tmpExt); oldFile = new File(name + oldExt); newFile = new File(name + newExt); use = 0; locked = false; version = VERSION_UNKNOWN; appendCrc = null;  if (agingInterval == -1) { agingInterval = AGING_INTERVAL_DEFAULT; String value = System.getProperty(MINIMUM_AGING_INTERVAL_KEY); if (value != null) { try { int i = Integer.parseInt(value); if (i >= 0) agingInterval = i; } catch (NumberFormatException nfe) { System.err.println("Invalid property value for key \"" + MINIMUM_AGING_INTERVAL_KEY + "\"."); } } }
referenceFile = file;
	private ReliableFile(File file) {		String name = file.getPath();		orgFile = file;		// Added a random number to the filename to avoid any chance of corruption		//  if someone should create multiple writes to the same file. -PAL		tmpFile = new File(name + "." + new Random().nextInt(0x1000000) + tmpExt); //$NON-NLS-1$		oldFile = new File(name + oldExt);		newFile = new File(name + newExt);		use = 0;		locked = false;		version = VERSION_UNKNOWN;		appendCrc = null;		if (agingInterval == -1) {			agingInterval = AGING_INTERVAL_DEFAULT;			String value = System.getProperty(MINIMUM_AGING_INTERVAL_KEY);			if (value != null) {				try {					int i = Integer.parseInt(value);					if (i >= 0)						agingInterval = i;				} catch (NumberFormatException nfe) {					System.err.println("Invalid property value for key \"" + MINIMUM_AGING_INTERVAL_KEY + "\"."); //$NON-NLS-1$ //$NON-NLS-2$				}			}		}	}