*** src.original/src/org/omegat/util/Preferences.java	2006年 12月  2日 (土)
--- src/src/org/omegat/util/Preferences.java	2008年  4月  1日 (火)
***************
*** 49,55 ****
  public class Preferences
  {
      /** OmegaT-wide Preferences Filename */
!     public static final String FILE_PREFERENCES	= "omegat.prefs";				// NOI18N
      
      // preference names
      public static final String SOURCE_LOCALE	= "source_lang";                // NOI18N
--- 49,55 ----
  public class Preferences
  {
      /** OmegaT-wide Preferences Filename */
!     public static final String FILE_PREFERENCES	= ".omegat.prefs";				// NOI18N
      
      // preference names
      public static final String SOURCE_LOCALE	= "source_lang";                // NOI18N
***************
*** 292,298 ****
              
              XMLStreamReader xml = new XMLStreamReader();
              xml.killEmptyBlocks();
!             xml.setStream(new File(StaticUtils.getConfigDir() + FILE_PREFERENCES));
              XMLBlock blk;
              ArrayList lst;
              
--- 292,298 ----
              
              XMLStreamReader xml = new XMLStreamReader();
              xml.killEmptyBlocks();
!             xml.setStream(new File(StaticUtils.getConfigDir() + File.separator + FILE_PREFERENCES));
              XMLBlock blk;
              ArrayList lst;
              
***************
*** 379,385 ****
      private static void doSave() throws IOException
      {
          BufferedWriter out = new BufferedWriter(new OutputStreamWriter(
!                 new FileOutputStream(StaticUtils.getConfigDir() + FILE_PREFERENCES), 
                  "UTF-8"));                                                      // NOI18N
          
          out.write("<?xml version=\"1.0\" encoding=\"UTF-8\" ?>\n");             // NOI18N
--- 379,385 ----
      private static void doSave() throws IOException
      {
          BufferedWriter out = new BufferedWriter(new OutputStreamWriter(
!                 new FileOutputStream(StaticUtils.getConfigDir() + java.io.File.separator + FILE_PREFERENCES), 
                  "UTF-8"));                                                      // NOI18N
          
          out.write("<?xml version=\"1.0\" encoding=\"UTF-8\" ?>\n");             // NOI18N