fixing Pydev warning