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.