fix Eclipse warnings