JBIDE-14815 small api addition, pushed directly to cr1
hand-merge of nick boldt's PR on pull/121