Шрифт Eclipse Indigo изменен

Итак, я только что обновился до Eclipse Indigo, и кажется, что шрифт текстового редактора Java изменился.

Похоже, это Consolas. Кто-нибудь знает, какой был предыдущий шрифт редактора по умолчанию, чтобы я мог вернуться к нему?

Все здесь перешли на Indigo одновременно, и никто не знает, что было по умолчанию в предыдущих версиях eclipse ...