The ProB 2 UI requires Java 8 or newer, and has been tested with Oracle JDK 8, 9, and 10.
Pre-built binaries for the ProB 2 UI can be downloaded here.
The ProB 2 UI can be started from source using the Gradle run
task (./gradlew run
on Linux/macOS/etc., gradlew.bat run
on Windows).