Source Code Cross Referenced for PropertyResourceBundle.java in  » Testing » KeY » java » util » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package java.util;
02:
03:        import java.io.IOException;
04:        import java.io.InputStream;
05:
06:        public class PropertyResourceBundle extends ResourceBundle {
07:            public PropertyResourceBundle(InputStream stream)
08:                    throws IOException {
09:            }
10:
11:            public Object handleGetObject(String key) {
12:            }
13:
14:            public Enumeration getKeys() {
15:            }
16:        }