Manpages of eclipse-platform in Debian stretch