To get rid of Eclipse warnings.