Fix eclipse problems

This makes my eclipse no longer report any problems.