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.
Merge pull request #202 from dacongy/develop

Makes dava to print ClassConst as pkg.ClassName.class
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.
Merge branch 'develop' of github.com:Sable/soot into develop

Conflicts:
	src/soot/dava/DavaUnitPrinter.java
Merge branch 'develop' of https://github.com/Sable/soot into develop