Updated to jasmin 1.3.1