BaseX 7.0.2 [Server]
Server was started.
Server was stopped.