Я работаю над несколькими проектами, и некоторые из них используют разные JDK. Переключение между версиями JDK неудобно. Поэтому мне было интересно, есть ли простой способ изменить его?
Я нашел 2 способа, которые должны решить эту проблему, но это не сработает.
Первое решение создает файлы bat, подобные этому:
@echo off
echo Setting JAVA_HOME
set JAVA_HOME=C:\Program Files\Java\jdk1.7.0_72
echo setting PATH
set PATH=C:\Program Files\Java\jdk1.7.0_72\bin;%PATH%
echo Display java version
java -version
pause
И после запуска этой летучей мыши, я вижу правильную версию Java. Но когда я закрываю этот CMD и открываю новый и набираю "java -version", он говорит, что у меня все еще есть 1.8.0_25. Так что это не работает.
Второе решение, которое я нашел, - это приложение из этого сайта. И это также не работает. Тот же эффект, что и в первом решении.
Любые идеи? Поскольку изменение JAVA_HOME и PAHT с помощью: Win + Pause → Advanced System Settings → Environment Variables → и редактирования этих переменных, является ужасным способом...