/** Create a file from the list of path elements. */ public static File file(String... pathElems) { return new File(path(pathElems)); }
/** Return a file object pointing into the workspace. */ private File workspaceFile(String... path) { return new File(path(cons(String.class, wsRoot, path))); }
/** Return a file object pointing into the working file repository. */ private File workingFileRepositoryFile(String... path) { return new File(path(cons(String.class, pathMappable.getPathPrefix(), path))); }