jenkinsci/jenkins — pull request #1017 by kinow (2013-11-14 16:42:00+00:00)
Title: Remove weird chars from Javadoc.

Probably a copy+paste caused these extra characters in there.