eclipse should warn about unused parameters