Mereological Analysis of Java programs