backport175が有効にならなくなったら

また発生したので記録を残す。


「コンテンツを削除しない」でプロジェクト削除。
次は、.settingディレクトリの中にあるorg.codehaus.backport175.ide.eclipse.core.prefsを削除。
最後に、新規>プロジェクト>Javaプロジェクトでコンテンツを取り込んで元に戻したら、有効になってた。


うーん。よくわからん。
次も発生したら、もうちょっといろいろ試してみよー。
jarを入れ替えたタイミングで発生しているようなしていないような。