Jetty alias and emacs java config