Build #498 (17.11.2017 01:20:06)

1. Trim hotdoc comments, see #576 (commit: e8271b0) (detail / githubweb)
2. also allow @Test as test annotation (commit: 42659e5) (detail / githubweb)

Started by remote host 192.30.252.40 with note: null

• refs/remotes/origin/master