Deleting branch drjava-guiAvailListener, was merged into trunk.
Authored by: mgricken 2010-07-22
Parent: [r5333]
Child: [r5335]