silence Eclipse warning