JBIDE-18094

aren't these part of eclipse debug api ? why do we need them here?