Use mixed-case module name to fit GWT conventions.