K 10
svn:author
V 5
tobik
K 8
svn:date
V 27
2019-06-13T09:30:01.533002Z
K 7
svn:log
V 195
devel/opengrok: Remove TOMCAT8 option, enable TOMCAT85 by default

www/tomcat8 is expiring on 2019-06-30 and has been EOL for ~1 year.

- Remove superfluous TOMCAT85_DESC while here

PR:		230326

END