Файл SpringTools4.ini является правильным местом для определения JVM по вашему выбору для запуска IDE.Это то же самое, что и файл STS.ini или файл eclipse.ini, но для STS4.
Будьте внимательны, чтобы правильно определить JVM в файле SpringTools4.ini, существуют специальные правила, в которыхи как определить JVM.Например, это должна быть первая строка в INI-файле, а -vm
и путь к исполняемому файлу должны быть в отдельных строках.Более подробную информацию можно найти здесь:
https://wiki.eclipse.org/Eclipse.ini
Надеюсь, это поможет!