何度目かのハマりだったので，メモしておきたい．なんでデフォルトでantプロジェクトになっちゃうんだろう．新規でsbtプロジェクトを作成するのではなく，なんらかのはずみでできてしまったプロジェクトを，あとからsbtプロジェクトにする方法が分からなかっ…