CLDIDE-1841 changed /ide/ URLs to /ws/