critical_section_time org.eclipse.xtext.ui.shared.xtextBuilder org.osate.core.aadlnature org.eclipse.xtext.ui.shared.xtextNature