JavAnal - Anal Compilation Vol 10