ADOPT: eclipse-gef; fixed
maintainer tag