Lines Matching refs:DirectoryManager
251 DirectoryManager.URL_FILE_SEPARATOR)) {
252 destname += DirectoryManager.URL_FILE_SEPARATOR;
257 DirectoryManager.createDirectory(configuration, dest);
278 DirectoryManager.URL_FILE_SEPARATOR + srcfile.getName(),
360 DirectoryManager.createDirectory(configuration, destination);
365 source + DirectoryManager.URL_FILE_SEPARATOR + file);
412 String pkgPath = DirectoryManager.getDirectoryPath(pkgDoc);
414 getDirectory(pkgPath) + DirectoryManager.URL_FILE_SEPARATOR;
417 DirectoryManager.URL_FILE_SEPARATOR);
419 DirectoryManager.URL_FILE_SEPARATOR);
651 DirectoryManager.createDirectory(configuration, path);