Provide internal support classes for JDT null analysis