moved Eclipse extension from textual to graphical plugin