From: Jean-Philippe Orsini Date: Thu, 12 Oct 2017 14:38:50 +0000 (+0200) Subject: compat jdk7 X-Git-Url: http://git.wpitchoune.net/gitweb/?a=commitdiff_plain;h=25c166b94c52128d7a18372d19f1f0f704ad138a;hp=25c166b94c52128d7a18372d19f1f0f704ad138a;p=pnews.git compat jdk7 ---