JBMC: minor fix, removing superfluous padding from converter

Author: Degiorgio

appveyor.yml

@@ -44,7 +44,7 @@ install:
     }
     if (!(Test-Path jml)) {
      & appveyor downloadfile https://github.com/diffblue/java-models-library/archive/master.zip -FileName jml.zip
-     & 7z x jml.zip
+     & 7z x jml.zip -odeps/jml
     }
     cd ..
 

jbmc/src/java_bytecode/library/converter.cpp

@@ -66,7 +66,7 @@ int main(int argc, char *argv[])
     printf("\n");
   }
 
-  std::cout << "\n#define " << varname <<  "_SIZE " << size << "\n\n";
+  std::cout << "\n#define " << varname << "_SIZE " << size << "\n";
   src.close();
   return 0;
 }