2002/css-validator/org/w3c/css/paged PagedProperties.java,1.2,1.3

• From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
• Date: Tue, 12 Jul 2005 14:47:57 +0000
• To: www-validator-cvs@w3.org
• Message-Id: <E1DsM3B-0004cL-IN@lionel-hutz.w3.org>

Update of /sources/public/2002/css-validator/org/w3c/css/paged
In directory hutz:/tmp/cvs-serv17634/css/paged

Modified Files:
	PagedProperties.java 
Log Message:
Utf8 properties (Jean-Guilhem Rouel)

Index: PagedProperties.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/paged/PagedProperties.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- PagedProperties.java	8 Apr 2002 21:17:21 -0000	1.2
+++ PagedProperties.java	12 Jul 2005 14:47:55 -0000	1.3
@@ -6,19 +6,19 @@
 // Please first read the full copyright statement in file COPYRIGHT.html
 package org.w3c.css.paged;
 
-import java.util.Properties;
 import java.net.URL;
 
 import org.w3c.css.properties.CssProperty;
+import org.w3c.css.util.Utf8Properties;
 
 /**
  * @version $Revision$
  */
 public class PagedProperties {
-  public static Properties properties;
+	public static Utf8Properties properties;
 
   public static String getString(CssProperty property, String prop) {
-    return properties.getProperty(property.getPropertyName()+"."+prop);
+		return properties.getProperty(property.getPropertyName() + "." + prop);
   }
 
   public static boolean getInheritance(CssProperty property) {
@@ -26,13 +26,15 @@
   }
   
   static {
-    properties = new Properties();
+		Utf8Properties properties = new Utf8Properties();
     try {
-      URL url = PagedProperties.class.getResource("PagedDefault.properties");
+			URL url = PagedProperties.class
+					.getResource("PagedDefault.properties");
       properties.load(url.openStream());
     } catch (Exception e) {
-      System.err.println("org.w3c.css.paged.PagedProperties: couldn't load properties ");
-      System.err.println("  " + e.toString() );
+			System.err
+					.println("org.w3c.css.paged.PagedProperties: couldn't load properties ");
+			System.err.println("  " + e.toString());
     }
   }
 }

Received on Tuesday, 12 July 2005 14:48:02 UTC