apply naming conventions for JavaSMT and java-smt.

see #89 for further discussion.

Author: kfriedberger

lib/ivy.xml

@@ -3,7 +3,7 @@
         xmlns:e="http://ant.apache.org/ivy/extra"
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:noNamespaceSchemaLocation="http://ant.apache.org/ivy/schemas/ivy.xsd">
-    <info organisation="org.sosy_lab" module="javasmt">
+    <info organisation="org.sosy_lab" module="java-smt">
       <license name="The Apache Software License, Version 2.0" url="http://www.apache.org/licenses/LICENSE-2.0.txt"/>
 
       <description homepage="https://github.com/sosy-lab/java-smt">

src/org/sosy_lab/java_smt/test/VariableNamesTest.java

@@ -60,7 +60,8 @@ public class VariableNamesTest extends SolverBasedTest0 {
 
   private static final ImmutableList<String> NAMES =
       ImmutableList.of(
-          "javasmt",
+          "java-smt",
+          "JavaSMT",
           "sosylab",
           "test",
           "foo",