protected function stripServerRootFromUri($uri) { return substr($uri, strlen($this->workspaceUriRoot)); }