Get rid of Eclipse warnings