Work on #47 (go to tab number) by avoiding Eclipse API altogether.