[doc] Make sure the javadoc plugin knows that we are generating from Java 8 source regardless of the JVM version
[doc] Make sure the javadoc plugin knows that we are generating from Java 8 source regardless of the JVM version

lcahlander/exist,windauer/exist,adamretter/exist,adamretter/exist,windauer/exist,adamretter/exist,adamretter/exist,lcahlander/exist,wolfgangmm/exist,lcahlander/exist,adamretter/exist,eXist-db/exist,windauer/exist,lcahlander/exist,dizzzz/exist,lcahlander/exist,wolfgangmm/exist,wolfgangmm/exist,eXist-db/exist,dizzzz/exist,windauer/exist,lcahlander/exist,dizzzz/exist,eXist-db/exist,dizzzz/exist,eXist-db/exist,wolfgangmm/exist,windauer/exist,windauer/exist,adamretter/exist,dizzzz/exist,eXist-db/exist,dizzzz/exist,eXist-db/exist,wolfgangmm/exist,wolfgangmm/exist