Here also we should default to tomcat6 but if detect this one to be 7 then change it. This is minor one. Please log a bug for it.