ignore pydev preference changes