improved run.bat: supports VTK and chooses correct java version on os x