small adjusts to users.properties (this change affects only tomcat and devmode)