fixed java rules
fixed extracting type variable (inner decarations bug, Main->example1)
fixed memleak: disposing type store after showing type