Updated titan-all to 0.4.2 and archimedes to 1.0.0-alpha6-SNAPSHOT