*/
public static final String outDeviceJavaScripts(ServletContext ctx,
HttpServletRequest request, HttpServletResponse response,
String deviceType) {
Execution old = Executions.getCurrent();
Execution exec = new ExecutionImpl(ctx, request, response, null, null);
ExecutionsCtrl.setCurrent(exec);
((ExecutionCtrl)exec).onActivate();
try {
return HtmlPageRenders.outLangJavaScripts(exec,
WebManager.getWebManager(ctx).getWebApp(),