410205 add warning for jetty-setuid that JETTY_USER must not be set