subMonitor.worked(40);
}
// TODO DI?
private JavaOntModel modelOf(IJavaProject javaProject) {
JavaOntModel model;
if(JavaOntModelStore.INSTANCE.hasModel(javaProject)) {
model = JavaOntModelStore.INSTANCE.getModel(javaProject);
} else {
model = JavaOntModelStore.INSTANCE.storeModel(javaProject);