Replaced ArmadilloJava