Remove a warning.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 11 Jan 2019 20:04:50 +0000 (21:04 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 11 Jan 2019 20:04:50 +0000 (21:04 +0100)
commitb4eb694d4fb81c92e694e72bec517559f2559faa
treed336ad7bfd20cbcadb5f410a205e0a5f34f5ca2d
parent1a2ddb852431259fab5dc522d8caf5b74bb3acd8
Remove a warning.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
src/Origin.java