JavaModelReader now reads probability evaluators