diff --git a/proposal/myrmidon/src/script/ant b/proposal/myrmidon/src/script/ant
index 3e0fbb194..ac4c704c8 100644
--- a/proposal/myrmidon/src/script/ant
+++ b/proposal/myrmidon/src/script/ant
@@ -28,12 +28,7 @@ done
 ANT_HOME=`dirname "$PRG"`/..
 
 if [ "$JAVA_HOME" == "" ] ; then
-
-  echo "Warning: JAVA_HOME environment variable is not set."
-  echo "  If build fails because sun.* classes could not be found"
-  echo "  you will need to set the JAVA_HOME environment variable"
-  echo "  to the installation directory of java."
-  if [ "$JAVACMD" = "" ] ; then 
+  if [ "$JAVACMD" = "" ] ; then
     JAVACMD=java
   fi
 else
diff --git a/proposal/myrmidon/src/script/ant.bat b/proposal/myrmidon/src/script/ant.bat
index 897eb459e..c11b7d83f 100644
--- a/proposal/myrmidon/src/script/ant.bat
+++ b/proposal/myrmidon/src/script/ant.bat
@@ -28,13 +28,6 @@ goto end
 
 if not "%JAVA_HOME%" == "" goto javaCmdSetup
 
-echo.
-echo Warning: JAVA_HOME environment variable is not set.
-echo   If build fails because sun.* classes could not be found
-echo   you will need to set the JAVA_HOME environment variable
-echo   to the installation directory of java.
-echo.
-
 rem hope that there is java command in path
 if "%JAVACMD%" == "" set JAVACMD=java
 goto argSetup