added $JAVAHOME/bin to linux.sh to work with Jenkins #292