Adding SyntacticMain class. The Exported JAR must be initialized from this class.