Updated ArmadilloJava