public void addExtension(Extension extension){
  fExtensions.add(extension);
}

public void addExtension ( Extension extension ) { fExtensions . add ( extension ) ; }
install a corresponding extension to this extension point .
