Java-API: make "install-java-doc" more flexible
Java-API: make "install-java-doc" more flexible

this fixes the installation when compiling with Java 8
digshock/scalaris,seyyed/scalaris,tectronics/scalaris,seyyed/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,tectronics/scalaris,seyyed/scalaris,tectronics/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,tectronics/scalaris