org.eclipse.sprotty:org.eclipse.sprotty.server (maven): JSON and Websocket implementations for connecting a diagram server to a sprotty client
Keywords: diagrams|eclipse|java|server