/** @param value */ public void selectFolder(FileNode value) { if (!value.getMime().equals("application/vnd.com.n3phele.Repository+json")) { String path = value.getPath() == null ? value.getName() + "/" : (value.getPath() + value.getName() + "/"); if (path.startsWith("/")) GWT.log("FileNode " + value + " produces query with leading /"); fetchFiles(value.getRepository(), path); History.newItem(historyMapper.getToken(new RepoContentPlace(value.getRepository(), path))); } else { fetchFiles(value.getRepository(), null); History.newItem(historyMapper.getToken(new RepoContentPlace(value.getRepository(), null))); } }