Using correct tags in the portal ui docs

There are not [source, java] tags.

diff --git a/documentation/portal/portal-ui.asciidoc b/documentation/portal/portal-ui.asciidoc
index 4f5335a45139bfbd423756f6ddf1a180ec1366fd..78aff9b731446b1816f317a326005195a1968b7c 100644 (file)
--- a/documentation/portal/portal-ui.asciidoc
+++ b/documentation/portal/portal-ui.asciidoc
@@ -10,7 +10,7 @@ layout: page
 A portlet UI is just like in a regular Vaadin application, a class that extends
 [classname]#com.vaadin.ui.UI#.
 
-
+[source, java]
 ----
 @Theme("myportlet")
 public class MyportletUI extends UI {
@@ -72,6 +72,7 @@ the Project">>.
 
 Otherwise, the following snippet can be used.
 
+[source, java]
 ----
     @WebServlet(value = "/*", asyncSupported = true)
     @VaadinServletConfiguration(productionMode = false,