--- a/frontends/src/jp/jp	Mon Jan 07 23:10:26 2013 +0100
+++ b/frontends/src/jp/jp	Mon Jan 07 23:30:13 2013 +0100
@@ -3,7 +3,7 @@
 
 """
 jp: a SAT command line tool
-Copyright (C) 2009, 2010, 2011, 2012  Jérôme Poisson (goffi@goffi.org)
+Copyright (C) 2009, 2010, 2011, 2012, 2013 Jérôme Poisson (goffi@goffi.org)
 
 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU Affero General Public License as published by
@@ -26,7 +26,7 @@
 about = name+u""" v%s (c) Jérôme Poisson (aka Goffi) 2009, 2010, 2011, 2012
 
 ---
-"""+name+u""" Copyright (C) 2009, 2010, 2011, 2012  Jérôme Poisson (aka Goffi)
+"""+name+u""" Copyright (C) 2009, 2010, 2011, 2012, 2013 Jérôme Poisson (aka Goffi)
 This program comes with ABSOLUTELY NO WARRANTY;
 This is free software, and you are welcome to redistribute it
 under certain conditions.