info ("Generated " + file);
	private PrintStream createStream(String file) {		try {			PrintStream stream = new PrintStream(new FileOutputStream(file));			info ("Generated " + file);			return stream;		} catch (FileNotFoundException exc) {			System.err.println(				"fatal error: Failed to open " + file + " for writing.");			System.exit(1);		}				return null;	}