今朝無事に帰ってきました。 あれですね、グアムは日本ですね。 現地人風のホテルのおじさんが「川越の居酒屋でバイトしてた」と言ってました。

Javaで好きなフォントを使おうとすると、JRE1.4まではfont.propertiesに呪文を書いたり、X11に登録したりといろいろとめんどくさかったですが、JRE1.5からは次の手順で利用できるようになっているようです。