$package

$imports

public class AxiomaticDefinitions {

	$body
}