JBIDE-14815 small api addition, pushed directly to cr1
hand-merge of nick boldt's PR on pull/121
JBIDE-14844 new feature for security
JBIDE-14844 feature limited to linux/gtk