元々、予定していなかったけど、トイレ工事の騒音で寮にいられなかったため、出かけました。むー、なんだろう。いいように釣られたんだよな、きっと。
org.eclipse.ui.texteditor.TextNavigationActionなのか。