{
if (realclass != null)
throw new SynthesisException(SynthesisException.REIFIED);
Constructor newctor = new Constructor(this);
Constructor[] scratch = new Constructor[declaredconstructors.length + 1];
System.arraycopy(declaredconstructors, 0, scratch, 0,
declaredconstructors.length);