| 6 |
import java.io.FileOutputStream; |
import java.io.FileOutputStream; |
| 7 |
import java.io.IOException; |
import java.io.IOException; |
| 8 |
import java.util.Enumeration; |
import java.util.Enumeration; |
|
import java.util.Iterator; |
|
| 9 |
import java.util.Properties; |
import java.util.Properties; |
| 10 |
import java.util.Set; |
import java.util.Set; |
|
import java.util.SortedSet; |
|
| 11 |
import java.util.TreeSet; |
import java.util.TreeSet; |
| 12 |
|
|
|
import org.geotools.io.DefaultFileFilter; |
|
|
|
|
| 13 |
/** |
/** |
| 14 |
* Simple Property store, which is loaded at each Xulu start and saved at each |
* Simple Property store, which is loaded at each Xulu start and saved at each |
| 15 |
* Xulu exit. Every class or plugin can store and retrieve configuration |
* Xulu exit. Every class or plugin can store and retrieve configuration |
Parent Directory
| 
Revision Log
| 
Patch