addProperties function to promote script
diff --git a/releng.control/addRepoProperties.sh b/releng.control/addRepoProperties.sh
index 2c868d0..6fa8bca 100644
--- a/releng.control/addRepoProperties.sh
+++ b/releng.control/addRepoProperties.sh
@@ -68,17 +68,11 @@
 
 
 echo "dev:          " $0
-echo
 echo "devworkspace: " $devworkspace
-echo
 echo "devJRE:       " $devJRE
-echo
 echo "devArgs:      " $devArgs
-echo
 echo "APP_NAME:     " $APP_NAME
-$devJRE -version
+#$devJRE -version
 echo
 
-
-${ECLIPSE_EXE} -nosplash -console -data $devworkspace --launcher.suppressErrors -application ${APP_NAME} ${OTHER_ARGS} -vm $devJRE -vmargs $devArgs
-
+${ECLIPSE_EXE} --launcher.suppressErrors -nosplash -console -data $devworkspace -application ${APP_NAME} ${OTHER_ARGS} -vm $devJRE -vmargs $devArgs