#Thu Oct 02 00:28:17 JST 2008 eclipse.preferences.version=1 encoding//ticketext/htdocs/ticketext.css=UTF-8 encoding//ticketext/htdocs/ticketext.js=UTF-8 encoding/=UTF-8