set fixed release version for javadoc-plugin
set fixed release version for javadoc-plugin

Set the release version to (Java) 8 to fix builds on newer JDKs

misberner/automatalib,LearnLib/automatalib,LearnLib/automatalib,LearnLib/automatalib,LearnLib/automatalib,misberner/automatalib