{
protected Attribute read (ClassReader cr, int off,
int len, char[] buf, int codeOff, Label[] labels)
{
SourceDebugExtensionAttribute attr =
(SourceDebugExtensionAttribute)super.read(cr, off, len, buf, codeOff, labels);
ASMSourceDebugExtensionAttribute result = new ASMSourceDebugExtensionAttribute();
result.debugExtension = attr.debugExtension;
return result;