Update src/main/java/org/basex/examples/server/ServerCommands.java