sicstus-jsonrpc-server-public