Fix for jetty build issue