2005-04-29 Michael Koch <konqueror@gmx.de>
+ * java/nio/charset/Charset.java
+ (provider): Reformatted.
+
+2005-04-29 Michael Koch <konqueror@gmx.de>
+
* gnu/java/net/protocol/http/HTTPConnection.java:
(userAgent): Initialize from system properties.
(initUserAgent): Removed.
/* Charset.java --
- Copyright (C) 2002, 2004 Free Software Foundation, Inc.
+ Copyright (C) 2002, 2004, 2005 Free Software Foundation, Inc.
This file is part of GNU Classpath.
private static CharsetProvider provider()
{
- try {
- String s = System.getProperty("charset.provider");
- if(s != null){
- CharsetProvider p =
- (CharsetProvider) ((Class.forName(s)).newInstance());
- return p;
- }
- } catch(Exception e){}
+ try
+ {
+ String s = System.getProperty("charset.provider");
+ if (s != null)
+ {
+ CharsetProvider p =
+ (CharsetProvider) ((Class.forName(s)).newInstance());
+ return p;
+ }
+ }
+ catch (Exception e)
+ {
+ // Ignore.
+ }
+
return Provider.provider();
}