public DocumentMetaInfo(final PrepToolsPluginExtension theWorkspaceAccessPluginExtension) {
setPageAndDocument(theWorkspaceAccessPluginExtension);
toolSpecific = theWorkspaceAccessPluginExtension.getToolSpecificMetaInfos(document);
setCurrentEditorPage(theWorkspaceAccessPluginExtension.getPageId());
url = theWorkspaceAccessPluginExtension.getEditorLocation();
}
