From c446dd265f12f4f17fa4d541496dd1a5fb0f0403 Mon Sep 17 00:00:00 2001
From: Jean-Philippe Orsini <orsinije@fr.ibm.com>
Date: Thu, 12 Oct 2017 16:36:30 +0200
Subject: [PATCH] fixed compilation with jd7

---
 war/src/main/java/pnews/servlet/Pnews.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/war/src/main/java/pnews/servlet/Pnews.java b/war/src/main/java/pnews/servlet/Pnews.java
index d15315e..01489f8 100644
--- 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);
                         }
-- 
2.7.4