added workaround in case jetty did not stop properly last time