A plugin to allow eclipse to work with Habanero Java