Upgrade to Java 8-compatible infomas-asl

See https://github.com/rmuller/infomas-asl/issues/17
Merge pull request #10 from omajid/master

Upgrade to Java 8-compatible infomas-asl