2005-12-13 ドットフォルダの怪 WindowsXP標準のZIP圧縮機能って、ドットが先頭にあるフォルダは無視されるんですね。「.checkstyle」「.settings」といった名前のフォルダが消えてしまう、、、。ということで、フリーソフトの圧縮ツール入れました。