ODK Aggregate Title Change

How to change ODK Aggregate title name. As I am unable to find Aggregate.html file. Please Help?

Aggregate.html is actually mapped to a java servlet.

See the web.xml file line 212. Here is the link

@W_Brunette thanks for the reply. But how could I change the name of the title? as I am unable to find an aggreagate.html file or the servlet file? As I am new to this .

Got the answer
goto ODKAggregate\javascript\main.js
add document.title ="Whatever name "; in gwtBeforeContentLoaded() function .

Thanks for replying