Don't need this pydev setting file either