Oh yes, and I was glad to see recent Java GC improvements get some press. Java's big win over Ruby and Python is that Java is fully specified such that anyone could write a new implementation and mechanically check if it is compatible. (AFAIK both Ruby and Python say "my implementation is the specification".)
(JavaScript is a bit of an oddity since it has a formal language spec, but NOT a formal virtual machine spec.)