java.util.Properties patch

[Mark Wielaard]

Hi,

Keys and values of properties file were not correctly escaped since
after excaping the escaped character was written twice.

2002-12-24  Mark Wielaard  <mark@klomp.org>

        * java/util/Properties.java (formatForOutput): Don't fall
        through to default case after escaping character.

This is another patch to make Eclipse run better under gij. Now it is
possible to restart Eclipse and get all your preferences back.

OK to commit to mainline and branch?

Cheers,

Mark
-------------- next part --------------
--- java/util/Properties.java.orig	2002-12-24 23:50:13.000000000 +0100
+++ java/util/Properties.java	2002-12-24 23:51:16.000000000 +0100
@@ -540,6 +540,7 @@
           case '=':
           case ':':
             buffer.append('\\').append(c);
+            break;
           default:
             if (c < ' ' || c > '~')
               {