ハードタブの表示を変える方法をいつも忘れるので，メモ．
PreferenceのGeneral→Editors→Text Editorsに「Displayed tab width」という項目があるが，これは一般のテキストエディタの設定であって，JDTのエディタはこれから独立している．どこにあるかというと，PreferenceのJava→Code Style→Formatterの中．ここで，profileを編集して「Tab size」を変更する．
このCode Styleが難しい．なんでEditorにないのか．ハードタブのサイズって，エディタの見た目の設定だと思うんだけどなぁ．
