add checks in jreTypeSolver
add checks in jreTypeSolver

ftomassetti/effectivejava,dushmis/effectivejava,ftomassetti/effectivejava,mshravanreddi/effectivejava,mshravanreddi/effectivejava,dushmis/effectivejava