なんか急にRSSリーダーの具合が悪くなりました。 フォルダ内のフィードに更新されたもの（太字になったもの）があっても フォルダ自体が太字にはならなく（細字のままに）なりました。 PCを再起動してもダメした。 同じ問題にハマって解決した人、いません？

前回のエントリーのうち、Antで用いるJavaのバージョンは コメントを頂いた通りexecutable属性の指定で解決しました。 今までexecutable属性を使ったことがなく、存在を知りませんでした。 心より恥ｚ（略 ちなみに Hudsonの環境変数で「JAVA14_HOME」とか「…