upd 0.31.1#40

gertd merged 2 commits intomainaserto-dev/aserto-java:mainfrom

upd-0.31.1aserto-dev/aserto-java:upd-0.31.1Copy head branch name to clipboard