Trying to get GwtPrettify to work again as class directive.
Class directive still does not work.
Commented out gwt-prettify class directive for now.