public void addExtension(PluginExtensionSpecification extension) { if (fExtensionDeclarations == null) fExtensionDeclarations = new ArrayList(); fExtensionDeclarations.add(extension); extension.setParent(this); beginInternalCall("calling Tapestry addExtensionSpecification"); try { addExtensionSpecification(extension.getIdentifier(), extension); } finally { endInternalCall(); } }