Nearly done
Merge branch 'v4.000.0' of https://github.com/SebastianNiemann/ArmadilloJava into v4.000.0