Fix class loading order to support any extension - #587

Fix class loading order to support any extension#587

Mahmoud-Khawaja wants to merge 1 commit into

javapathfinder:masterjavapathfinder/jpf-core:masterfrom

Mahmoud-Khawaja:model-classes-fixMahmoud-Khawaja/jpf-core:model-classes-fixCopy head branch name to clipboard