title: Q:[Z3] java.lang.NoClassDefFoundError: Could not initialize class com.microsoft.z3.Native
body: <p>when I use the maven dependency like this</p>
  
  <pre><code>&lt;dependency&gt;
        &lt;groupId&gt;org.sosy-lab&lt;/groupId&gt;
        &lt;artifactId&gt;javasmt-solver-z3&lt;/artifactId&gt;
        &lt;version&gt;z3-4.4.1-1558-gf96cfea&lt;/version&gt;
  &lt;/dependency&gt;
  </code></pre>
  
  <p>then I use the example of java</p>
  
  <pre><code>public void simpleExample()
  {
  
      System.out.println("SimpleExample");
      try {
          Log.open("SimpleExample");
          Log.append("SimpleExample");
      }catch (Exception e){
          e.printStackTrace();
      }finally{
          Log.close();
      }
  
      {
          Context ctx = new Context();
          /* do something with the context */
  
          /* be kind to dispose manually and not wait for the GC. */
          ctx.close();
      }
  }
  </code></pre>
  
  <p>once I use the Native.java ,just show this problem,what is wrong?</p>