// after page initialization is complete. For a client that doesn't have JavaScript enabled,
// this will do nothing (though I suspect the page will not behave to expectations!).
Element script = body.element("script", "type", "text/javascript");
script.raw("document.write(\"<div class=\\\"pageloading-mask\\\"><div></div></div>\");");
script.moveToTop(body);
}
moduleManager.writeConfiguration(body, moduleConfigurationCallbacks);
// Write the core libraries, which includes RequireJS: