mirror of
https://github.com/corda/corda.git
synced 2025-06-17 14:48:16 +00:00
add java.util.Properties.propertyNames() method
This commit is contained in:
committed by
Joel Dice
parent
1daa93d3c4
commit
4dc05844df
@ -49,6 +49,10 @@ public class Properties extends Hashtable {
|
|||||||
return put(key, value);
|
return put(key, value);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public Enumeration<?> propertyNames() {
|
||||||
|
return keys();
|
||||||
|
}
|
||||||
|
|
||||||
private static class Parser {
|
private static class Parser {
|
||||||
private StringBuilder key = null;
|
private StringBuilder key = null;
|
||||||
private StringBuilder value = null;
|
private StringBuilder value = null;
|
||||||
|
Reference in New Issue
Block a user