fixed a bug in the resolver that lead to classes not being loaded to the correct level
fixed a bug in the resolver that lead to classes not being loaded to the correct level

plast-lab/soot,plast-lab/soot,plast-lab/soot