I think you are right. Whois.sc cached the server response headers before Google switched the server, and it was "Apache/2.2.4 (Unix) DAV/2 mod_jk/1.2.21 SVN/1.4.4". mod_jk is a Tomcat connector, so it would make sense that the site would be written in Java.
I believe the back end is Java.