Greclipse 1727 fixes