Removing warning on annotation

ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java

@@ -60,6 +60,7 @@ public class AutoSecurityGenerationDiplodocusTest extends AbstractTest {
     }
 
     @Test
+    @SuppressWarnings("unchecked")
     public void testSecurityModels() throws Exception {
         // Test if proverif is installed in the path
         TraceManager.addDev("Testing if \"proverif\" is in the PATH");
@@ -173,6 +174,7 @@ public class AutoSecurityGenerationDiplodocusTest extends AbstractTest {
             assertEquals(0, syntaxGenerated.hasErrors());
 
             TMLMappingTextSpecification<Class<?>> specNew = new TMLMappingTextSpecification<Class<?>>(tab);
+
             specNew.toTextFormat((TMLMapping<Class<?>>) tmap);
 
             specNew.saveFile(pathDirJsonFile, "spec");