#!/bin/sh
# Copyright (c) 2008-2013 IBM Corp. and Others. All Rights Reserved
if [ ! -x ${1} ];
then
	echo could not exec ${1}
	echo usage: ${0} something.sh
	exit 1
fi
set -x
. "${1}"

${JAVA_HOME}/bin/java -version 2>/dev/null