diff -r 313ce53a7232 -r 16c554c76eb4 doc/tools/pyjsrest.py
--- a/doc/tools/pyjsrest.py	Tue Aug 19 12:04:23 2014 +0200
+++ b/doc/tools/pyjsrest.py	Tue Jul 29 07:36:41 2014 +0200
@@ -2,8 +2,6 @@
 """
 Parser for Javascript comments.
 """
-from __future__ import with_statement
-
 import os.path as osp
 import sys, os, getopt, re