The default log file name in the logging.properties file should be server.log

The current default log file name is boot.log in the logging.properties configuration file. The standalone.[sh|bat] overrides this to server.log and the default should also be server.log.