Zacząłem korzystać z GWT 2.5. Najzimniejszycecha GWT 2.5 to możliwość pisania kodu Java bezpośrednio na naszych stronach HTML w taki sposób:

<script type="text/java">
   String helloWorld = "Hello world";
   Window.alert(helloWorld);
</script>

Sztuczka polega na użyciu aServletFilter po stronie serwera. ToServletFilter używa kompilatora GWT do skompilowania tego kodu Java do Javascript i wstrzyknięcia go do HTML zwróconego do klienta.

Nie jestem w stanie dowiedzieć się, jak to filtrowaćweb.xml lub jak przekazać informacje do kompilatora. Jak mogę to zrobić?