Make Eclipse happy