added JMLSpecs, RAC and TACO skeleton APIs and required classes