/** 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))); }