zzz 2baee7413c * Replace size() <= 0 with isEmpty() everywhere, ditto > 0 -> !isEmpty()

2010-05-05 16:51:54 +00:00

..

java/src/org/mortbay

* Replace size() <= 0 with isEmpty() everywhere, ditto > 0 -> !isEmpty()

2010-05-05 16:51:54 +00:00

build.xml

delete jettylib on distclean to ensure we get the new jetty

2010-02-07 20:16:18 +00:00