tree 129b4541f822331a9fede1c412e5e4ede36efe2c
parent 12af230b4a40128310e9b96c89810786764ff79d
author David Ostrovsky <david@ostrovsky.org> 1501740838 +0200
committer Luca Milanesio <luca.milanesio@gmail.com> 1501780119 +0000

Fix eclipse warnings

Change-Id: I4f487f18684a635e9e7dab3e9cc12baa76b72e18