jdk/src/share/classes/javax/swing/MultiUIDefaults.java
author darcy
Sun, 23 Mar 2014 13:49:48 -0700
changeset 23697 e556a715949f
parent 5506 202f599c92aa
child 24969 afa6934dd8e8
permissions -rw-r--r--
8034169: Fix serial lint warnings in javax.swing Reviewed-by: alanb, prr
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
23697
e556a715949f 8034169: Fix serial lint warnings in javax.swing
darcy
parents: 5506
diff changeset
     2
 * Copyright (c) 1997, 2014, Oracle and/or its affiliates. All rights reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 4842
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 4842
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 4842
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 4842
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 4842
diff changeset
    23
 * questions.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package javax.swing;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
import java.util.Enumeration;
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
    29
import java.util.HashSet;
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
    30
import java.util.Iterator;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
import java.util.Locale;
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
    32
import java.util.Map.Entry;
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
    33
import java.util.Set;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
 * @author Hans Muller
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
 */
23697
e556a715949f 8034169: Fix serial lint warnings in javax.swing
darcy
parents: 5506
diff changeset
    41
@SuppressWarnings("serial") // Superclass is not serializable across versions
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
class MultiUIDefaults extends UIDefaults
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
{
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
    private UIDefaults[] tables;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
    public MultiUIDefaults(UIDefaults[] defaults) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
        super();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
        tables = defaults;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
    public MultiUIDefaults() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
        super();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
        tables = new UIDefaults[0];
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
    56
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
    public Object get(Object key)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
    {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
        Object value = super.get(key);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
        if (value != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
            return value;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
1301
15e81207e1f2 6727662: Code improvement and warnings removing from swing packages
rupashka
parents: 2
diff changeset
    64
        for (UIDefaults table : tables) {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
            value = (table != null) ? table.get(key) : null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
            if (value != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
                return value;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
    74
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
    public Object get(Object key, Locale l)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
    {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
        Object value = super.get(key,l);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
        if (value != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
            return value;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
1301
15e81207e1f2 6727662: Code improvement and warnings removing from swing packages
rupashka
parents: 2
diff changeset
    82
        for (UIDefaults table : tables) {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
            value = (table != null) ? table.get(key,l) : null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
            if (value != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
                return value;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
    92
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
    public int size() {
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
    94
        return entrySet().size();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
    97
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
    public boolean isEmpty() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
        return size() == 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   102
    @Override
1301
15e81207e1f2 6727662: Code improvement and warnings removing from swing packages
rupashka
parents: 2
diff changeset
   103
    public Enumeration<Object> keys()
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
    {
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   105
        return new MultiUIDefaultsEnumerator(
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   106
                MultiUIDefaultsEnumerator.Type.KEYS, entrySet());
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   109
    @Override
1301
15e81207e1f2 6727662: Code improvement and warnings removing from swing packages
rupashka
parents: 2
diff changeset
   110
    public Enumeration<Object> elements()
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
    {
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   112
        return new MultiUIDefaultsEnumerator(
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   113
                MultiUIDefaultsEnumerator.Type.ELEMENTS, entrySet());
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   116
    @Override
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   117
    public Set<Entry<Object, Object>> entrySet() {
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   118
        Set<Entry<Object, Object>> set = new HashSet<Entry<Object, Object>>();
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   119
        for (int i = tables.length - 1; i >= 0; i--) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   120
            if (tables[i] != null) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   121
                set.addAll(tables[i].entrySet());
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   122
            }
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   123
        }
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   124
        set.addAll(super.entrySet());
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   125
        return set;
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   126
    }
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   127
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   128
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
    protected void getUIError(String msg) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
        if (tables.length > 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
            tables[0].getUIError(msg);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
        } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
            super.getUIError(msg);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
1301
15e81207e1f2 6727662: Code improvement and warnings removing from swing packages
rupashka
parents: 2
diff changeset
   137
    private static class MultiUIDefaultsEnumerator implements Enumeration<Object>
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
    {
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   139
        public static enum Type { KEYS, ELEMENTS };
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   140
        private Iterator<Entry<Object, Object>> iterator;
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   141
        private Type type;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   143
        MultiUIDefaultsEnumerator(Type type, Set<Entry<Object, Object>> entries) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   144
            this.type = type;
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   145
            this.iterator = entries.iterator();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
        public boolean hasMoreElements() {
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   149
            return iterator.hasNext();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
        public Object nextElement() {
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   153
            switch (type) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   154
                case KEYS: return iterator.next().getKey();
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   155
                case ELEMENTS: return iterator.next().getValue();
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   156
                default: return null;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   161
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
    public Object remove(Object key)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
    {
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   164
        Object value = null;
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   165
        for (int i = tables.length - 1; i >= 0; i--) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   166
            if (tables[i] != null) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   167
                Object v = tables[i].remove(key);
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   168
                if (v != null) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   169
                    value = v;
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   170
                }
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   171
            }
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   172
        }
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   173
        Object v = super.remove(key);
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   174
        if (v != null) {
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   175
            value = v;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
4842
c9f791782a29 6860438: [Nimbus] Code to globally set slider's thumb background doesn't work as specified
peterz
parents: 2658
diff changeset
   178
        return value;
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   181
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
    public void clear() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
        super.clear();
1301
15e81207e1f2 6727662: Code improvement and warnings removing from swing packages
rupashka
parents: 2
diff changeset
   184
        for (UIDefaults table : tables) {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
            if (table != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
                table.clear();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
2658
43e06bc950ec 6591875: Nimbus Swing Look and Feel
peterz
parents: 1639
diff changeset
   191
    @Override
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
    public synchronized String toString() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
        StringBuffer buf = new StringBuffer();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
        buf.append("{");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
        Enumeration keys = keys();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
        while (keys.hasMoreElements()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
            Object key = keys.nextElement();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
            buf.append(key + "=" + get(key) + ", ");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
        int length = buf.length();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
        if (length > 1) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
            buf.delete(length-2, length);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
        buf.append("}");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
        return buf.toString();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
}