void setMainDataFile(File main) { mainDataFile = main;
void setMainDataFile(File main) throws IOException { mainDataFile = new BufferedRandomInputStream(main); mainInput = new DataInputStream(mainDataFile);
	void setMainDataFile(File main) {		mainDataFile = main;	}