Help Eclipse by adding assertion