pmi.addClass(convertClassName(Test4Package.class));
Package p = this.getClass().getPackage();
pmi.addPackageClass(convertPackageName(p), convertClassName(Test3Field.class));
pmi.addPackageClass(convertPackageName(p), convertClassName(Test4Package.class));
Package pack2= PropositionFormat.class.getPackage();
PackageHandle p1 = new PackageHandle(convertPackageName(p), convertClassName(Test4Package.class));
PackageHandle p2 = new PackageHandle(convertPackageName(pack2), convertClassName(PropositionFormat.class));
pmi.addPackageDependency(p1, p2);
}