server.properties "admins" accepts only one admin UID?