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