package net.certware.intent.state.ui.wizard; public class StateSpecificationProjectInfo extends org.eclipse.xtext.ui.wizard.DefaultProjectInfo { }