public interface JavaHomeOrMemoryDialogParent
Modifier and Type | Method and Description |
---|---|
UtilitiesUserParameters |
getUtilitiesUserParameters()
Returns the utilities user preferences.
|
void |
restart()
Restart the given tool with the new Java options.
|
void restart()
UtilitiesUserParameters getUtilitiesUserParameters()
Copyright © 2021. All rights reserved.