public abstract java.util.Collection<java.lang.String> listExtensions(HashStructure tagRootElement)
Examine the tagRootElement and its children and return
a list of extensions that need to be initialized when
this project is opened.
Parameters:
tagRootElement - HashStructure containing the tag
root element named in an on-project-open-hook and its children,
from the project file of a newly opened project.
Returns:
Collection of IDs of extensions to be initialized, or
an empty Collection if none; the collection should not have duplicate IDs.