Makes dava to print ClassConst as pkg.ClassName.class

Right now, it uses the same format as in Jimple:
  class "pkg.ClassName"
which makes the generated .java code uncompilable.

src/soot/dava/DavaUnitPrinter.java

@@ -107,10 +107,15 @@ public void unitRef( Unit u, boolean branchTarget ) {
         throw new RuntimeException( "Dava doesn't have unit references!" );
     }
 
-
-
-
-
+    @Override
+    public void constant( Constant c ) {
+        if (c instanceof ClassConstant) {
+            handleIndent();
+            output.append(((ClassConstant)c).value + ".class");
+        } else {
+          super.constant(c);
+        }
+    }
 
     public void addNot() {
         output.append(" !");