class ExtensionActivtityGenerator extends DefaultActivityGenerator {
private static final ExtensionActivityGeneratorMessages __cmsgs =
MessageBundle.getMessages(ExtensionActivityGeneratorMessages.class);
public void compile(OActivity output, Activity srcx) {
ExtensionActivity src = (ExtensionActivity) srcx;
OExtensionActivity oactivity = (OExtensionActivity) output;
Element child = src.getFirstExtensibilityElement();
try {
if (child == null) {
throw new CompilationException(__cmsgs.errMissingExtensionActivityElement());
}
if (!_context.isExtensionDeclared(child.getNamespaceURI())) {