add jetty-avoid-repeat-deploy