public interface JreProvider
| Modifier and Type | Field and Description |
|---|---|
static ExtensionPointName<JreProvider> |
EP_NAME |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getJrePath() |
default java.lang.String |
getPresentableName() |
default boolean |
isAvailable() |
static final ExtensionPointName<JreProvider> EP_NAME