Interesting findings about functioning of Java garbage collector