Exporting setenv.sh entries to make them operational on Ubuntu 14.04

As in the subject for this PR. Until this change setenv.sh had no effect on tomcat instance.