fix some minor Eclipse warnings, add @Override, etc.