fixed compilation with jd7

diff --git a/war/src/main/java/pnews/servlet/Pnews.java b/war/src/main/java/pnews/servlet/Pnews.java
index d15315e..01489f8 100644 (file)
--- a/war/src/main/java/pnews/servlet/Pnews.java
+++ b/war/src/main/java/pnews/servlet/Pnews.java
@@ -91,7 +91,7 @@ public class Pnews extends HttpServlet {
                                 rp.getWriter().write(html);
                         } else {
                                 LOG.severe("writeArticles cannot retrieve any articles");
-                                html = HTML.toHTML(new ArrayList<>(), cat);
+                                html = HTML.toHTML(new ArrayList<Article>(), cat);
                                 rp.setContentType("text/html");
                                 rp.getWriter().write(html);
                         }