hotfix for compilation issues

Something broke, and it may be the requirement for JavaMail. If this doesn't fix it, it may be a general problem with eclipse or something.