Ubuntu7.04で1.9.5を使ってるんだけどetc.txtってどこにあるの？
~/.jd/にはないし・・・
boards.xmlに書き加えてもいいのかな？