private void read(File theFile) throws IOException,DotException{
		FileReader x = new FileReader(theFile);
		BufferedReader y = new BufferedReader(x);
		DotReader z = new DotReader(y);
		Dot dot;
		do {
			dot = z.readDot();
			addDot(dot);
		}while(dot != null);
		y.close();
		x.close();
	}