String date = getDate(); write(date); writeSpace(); for (int i = SESSION.length() + date.length(); i < 78; i++) {
for (int i = SESSION.length(); i < 78; i++)
	protected void writeSession() throws IOException {		write(SESSION);		writeSpace();		String date = getDate();		write(date);		writeSpace();		for (int i = SESSION.length() + date.length(); i < 78; i++) {			write("-"); //$NON-NLS-1$		}		writeln();		// Write out certain values found in System.getProperties()		try {			String key = "java.fullversion"; //$NON-NLS-1$			String value = System.getProperty(key);			if (value == null) {				key = "java.version"; //$NON-NLS-1$				value = System.getProperty(key);				writeln(key + "=" + value); //$NON-NLS-1$				key = "java.vendor"; //$NON-NLS-1$				value = System.getProperty(key);				writeln(key + "=" + value); //$NON-NLS-1$			} else {				writeln(key + "=" + value); //$NON-NLS-1$			}		} catch (Exception e) {			// If we're not allowed to get the values of these properties			// then just skip over them.		}	}