check if stable javadoc is removed
Check if the jenkins site upload deletes the javadoc of the stable version...
If so: git update-index --assume-unchanged files
Check if the jenkins site upload deletes the javadoc of the stable version...
If so: git update-index --assume-unchanged files