Warning fixes on 0.13

Fix up or silence spurious Eclipse warnings to leave only relevant ones in. I'm happy to redo this pull request in a different ways, and to try sharing the Eclipse setup (even with the Eclipse plugin, it wasn't trivial to set this up).