WorkbenchContext proved to be dead code