Merge pull request #109 from divinity76/patch-1
authorNikolaus Rath <Nikolaus@rath.org>
Mon, 31 Oct 2016 17:20:43 +0000 (10:20 -0700)
committerGitHub <noreply@github.com>
Mon, 31 Oct 2016 17:20:43 +0000 (10:20 -0700)
silence bogus eclipse linter warning


Trivial merge