protected void readAttribute(String name, int length, ConstantPool cp,
			DataInputStream input, int howMuch) throws IOException {
		if ((howMuch & KNOWNATTRIBS) != 0 && name.equals("ConstantValue")) {
			if (length != 2)
				throw new ClassFormatException("ConstantValue attribute"
						+ " has wrong length");
			int index = input.readUnsignedShort();
			constant = cp.getConstant(index);
		} else if (name.equals("Synthetic")) {
			syntheticFlag = true;
			if (length != 0)
				throw new ClassFormatException(
						"Synthetic attribute has wrong length");
		} else if (name.equals("Deprecated")) {
			deprecatedFlag = true;
			if (length != 0)
				throw new ClassFormatException(
						"Deprecated attribute has wrong length");
		} else
			super.readAttribute(name, length, cp, input, howMuch);
	}