Static Slicing of JAVA Programs