New version of Pydev (python editor plugin for eclipse) changes the class used for editor, from StyledTex to StyledTextWithoutVerticalBar.

So, early Pydev will still work well, but new version (current=3.2.0) will not recognized as StyledText anymore.