protected JavaPackage getDestinationPackage() {
   if (destPkg == null) {
     destPkg = New.packagee(destPackage);
   }
   return destPkg;
 }