#257: set proper variables for jetty port
#257: removed unnecessary jetty-glu.xml

The issue mentioned in the comment is gone with jetty 8.1
5.4.2: updated release notes