--- a/eric5_configure.py	Fri May 24 18:39:58 2013 +0200
+++ b/eric5_configure.py	Tue May 28 20:52:12 2013 +0200
@@ -31,10 +31,7 @@
         break
 
 # make ThirdParty package available as a packages repository
-try:
-    import pygments     # __IGNORE_EXCEPTION__ __IGNORE_WARNING__
-except ImportError:
-    sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
+sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
 
 from Globals import AppInfo