Adding util to the branch `drjava-20050814-2234-patches'.
Authored by: rcartwright 2005-10-07
Parent: [r3466]
Child: [r3468]