docs: public File getDestPath(String sourcePath)
      {
          String destPathname = DBConstants.BLANK;
  
          String dirPrefix = this.getProperty(DIR_PREFIX);
          String sourceDir = this.getProperty(SOURCE_DIR);
          String destDir = this.getProperty(DEST_DIR);
          int startPath = sourcePath.indexOf(sourceDir);
          
          // Now add the start of the source path
          if ((dirPrefix != null) && (sourceDir != null) && (sourceDir.length() > 0) && (sourcePath.indexOf(dirPrefix) == 0))
      		destPathname += dirPrefix;
          else
          {
          	if ((!destDir.startsWith("/")) && (!destDir.startsWith(File.separator)))
          	{
          		if (startPath == 0)
          		{
          			int iEndStartPath = sourceDir.lastIndexOf(File.separator);
          			if (iEndStartPath == -1)
          				iEndStartPath = sourceDir.lastIndexOf('/');
          			if (iEndStartPath > 0)
          				destPathname += sourceDir.substring(0, iEndStartPath + 1);
          		}
          	}
          }
          
          destPathname = Utility.addToPath(destPathname, destDir);
          
          if (startPath != -1)
          	destPathname = Utility.addToPath(destPathname, sourcePath.substring(startPath + sourceDir.length()));
  
          return new File(destPathname);
      }