CookieTools.java tweaks, DT.java comments.