--- a/eric5.py	Mon May 20 11:36:02 2013 +0200
+++ b/eric5.py	Mon May 20 11:42:14 2013 +0200
@@ -43,10 +43,7 @@
         break
 
 # make Third-Party 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 E5Gui.E5Application import E5Application