JCR-2080 : Cannot change of workspace on the jcr browser deployed on Jetty