fix the missing org.jgraph problem in protege