Fix warning problems detected by Eclipse