private void readHeader(final DataInputStream in) throws IOException {
		final int magic = in.readInt();

		if (magic != 0xCAFEBABE) {
			throw new ClassFormatError("Bad magic number.");
		}

		in.readUnsignedShort(); // major
		in.readUnsignedShort(); // minor
	}