Fixes #872 - at least as much as it makes sense to do. Added Windows
scripting logic to verify Java version number, but didn't add all of
the same bells and whistles as the Mac/Unix version because it's just
not worth it. If someone needs the same flexibility on Windows as the
current Unix launch scripts, they will have to  manually change the
*.bat file to meet their needs.