Renamed basex-admin/.mysettings/basex to basex.sample so we retain host specific jvm settings