void setExtraDataFile(File extra) { extraDataFile = extra;
void setExtraDataFile(File extra) throws IOException { extraDataFile = new BufferedRandomInputStream(extra); extraInput = new DataInputStream(extraDataFile);
	void setExtraDataFile(File extra) {		extraDataFile = extra;	}