Suppress a warning in Eclipse