Upgrade to Java 8-compatible infomas-asl

See https://github.com/rmuller/infomas-asl/issues/17