# HG changeset patch
# User smith@nwoca.org
# Date 1441139116 -3600
# Node ID 7a17678c9a73b57d7e21e0f5a2159380751fe9f7
# Parent  cf65e7327fe854585184887335645490a649e6b4
add script to help set java version

diff -r cf65e7327fe8 -r 7a17678c9a73 scripts/setjava.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/setjava.sh	Tue Sep 01 21:25:16 2015 +0100
@@ -0,0 +1,31 @@
+#!/bin/bash
+
+if [ "${1}" == "7" ]
+then
+  export JAVA_HOME=$JAVA7
+else
+  export JAVA_HOME=$JAVA8
+fi
+
+IFS=':'
+CYGWIN=nodosfilewarning
+PATHNEW=''
+for A in ${PATH}
+do
+
+  if [[ "$A" != *"Java"* || "$A" != *"jdk"* || "$A" == *"java"* ]] 
+  then
+    PATHNEW=$PATHNEW:"$A"
+  fi
+ 
+done
+export PATH=$JAVA_HOME/bin$PATHNEW
+
+# Output
+echo -e "JAVA_HOME\t" $JAVA_HOME
+echo -e "PATH"
+for A in ${PATH}
+do
+  echo "${A}"
+done
+