fix for compiler error displayed in Eclipse IDE