void (boolean enabled) { boolean changed = ALTERNATIVE_JRE_PATH_ENABLED != enabled; ALTERNATIVE_JRE_PATH_ENABLED = enabled; getOptions().setAlternativeJrePathEnabled(enabled); onAlternativeJreChanged(changed, getProject()); }