Branch for integrating Habanero Java into DrJava.
Authored by: mgricken 2010-06-04
Parent: [r5266]
Child: [r5268]