885886887888889890891892
.setCoordWest(west); return updateElement(bean, true); } public synchronized void clear() throws IOException, AccessDeniedException { AdminListener listener = new DummyAdminListener(); repository.clear(listener); }
104105106107108109110111112113114
public String getActionType() { return "render"; } public void getGraph(String _url, String _format, LocalRepository repo) throws IOException{ AdminListener listener = new AdminMsgCollector(); URL url = new URL(_url); RDFFormat format = null;