crazyflie Plugin_Resources org.eclipse.xtext.ui.shared.xtextBuilder org.eclipse.xtext.ui.shared.xtextNature org.osate.core.aadlnature