Build #419 (03.08.2017 18:30:39)

1. fix another GetDefinitions npe (commit: ea281f0) (detail / githubweb)

Started by remote host 192.30.252.34 with note: null

• refs/remotes/origin/master