How to install eclipse-gef-doc on Debian 9 (Stretch)