A simple hack for RedEclipse.