synchronized class CorrectedWebdavResou extends org.apache.webdav.lib.WebdavResource { private java.util.Map headers; public void CorrectedWebdavResou(org.apache.commons.httpclient.HttpURL) throws java.io.IOException; public void setHeaders(java.util.Map); public java.util.Map getHeaders(); protected void generateAdditionalHe(org.apache.commons.httpclient.HttpMethod); public java.io.InputStream getMethodData(String) throws java.io.IOException; public void addRequestHeader(String, String); public boolean putMethod(String,...

        workspaceReaders.add(reactorReader);
        // 2) Repository system session-scoped workspace reader (contains ide and exec request reader)
        for (WorkspaceReader repoWorkspaceReader : chainedWorkspaceReader.getReaders()) {
            if (repoWorkspaceReader != null && repoWorkspaceReader != reactorReader) {
                workspaceReaders.add(repoWorkspaceReader);
            }
        }