Minor Eclipse warning cleanup (3.5 warns about more things it seems)

15 files changed