!include once #1019934 // BCEL

import org.apache.bcel.classfile.Attribute;
import org.apache.bcel.classfile.SourceFile;
import org.apache.bcel.generic.*;

svoid bcelSave(JavaClass c, File out) ctex {
  new ClassGen(c).getJavaClass().dump(out);
}