public String processFilename(String filename){
  if (!filename.startsWith(getDir()))   filename=getDir() + filename;
  return filename;
}

public String processFilename ( String filename ) { if ( ! filename . startsWith ( getDir ( ) ) ) filename = getDir ( ) + filename ; return filename ; }
returns the processed filename , i . e . with the dir - prefix if it ' s missing
