//^olsen: move non-modifying code to Analyzer
final byte[] data = new byte[2];
data[0] = (byte)(SUNJDO_PC_EnhancedVersion >>> 8);
data[1] = (byte)(SUNJDO_PC_EnhancedVersion & 0xff);
final ClassAttribute annotatedAttr
= new GenericAttribute(
classFile.pool().addUtf8(SUNJDO_PC_EnhancedAttribute),
data);
classFile.attributes().addElement(annotatedAttr);
}