Possibly rename WorkspacePicoServlet ==> WorkspaceServlet to make the other servlet names.