[PATCH] Execute.java

[Brian Deitte]

In Execute.java, if you have os and osEnv environment variables with different 
cases, the osEnv element isn't overriden.  This can be fixed by changing

                if (((String)osEnv.elementAt(j)).startsWith(key)) {

to

                if (key.length() != 0 && 
((String)osEnv.elementAt(j)).regionMatches(true, 0, key, 0, key.length()) {

--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>