Liferay Dev Studio предназначен для работы с Java 8. Я установил его так:
JAVA_HOME=/home/nico/p/jdk8/ LiferayProjectSDKwithDevStudioDXP-2018.11.4-linux-x64-installer.run
Он спросил меня, какой JDK я хотел бы использовать, и в списке был только мой JDK8, поэтому я выбрал его, и установка прошла гладко.
Тогда я запустил это так:
JAVA_HOME=/home/nico/p/jdk8/ ./DeveloperStudio
И ... он падает:

Проверяя .metadata/.log
, я вижу, что он игнорирует мой выбор и использует вместо этого JDK моей системы по умолчанию:
!SESSION 2019-01-08 17:29:46.988 -----------------------------------------------
eclipse.buildId=3.4.0.201811020125
java.version=10.0.2
Как заставить его использовать JDK8?