JavAnal - Anal Compilation Vol 1