tree dd5bafe0836facc4e26aee6543f60478dcc4db30
parent 4fb489827bdcaabff1542500a92ef9ab76769185
author Hugo Hirsch <github@hugo-hirsch.de> 1553546507 +0100
committer Hugo Hirsch <github@hugo-hirsch.de> 1553546538 +0100

Fix eclipse warning.