Can you make this an instance field of LaunchManager? WorkspacePicoServlet will need to take the workspace in as a ctor parameter as well.