catch an exception coming from deep inside JDT