エラーが出なかったのは .pydevproject が壊れていたためらしい。