Warning fixes on 0.13

Fix up or silence spurious Eclipse warnings to leave only relevant ones in.