Searched refs:PreferencesStorage (Results 1 - 1 of 1) sorted by relevance
| /openjdk10/langtools/src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ | ||
| H A D | JShellToolBuilder.java | 151 this.prefs = new PreferencesStorage(prefs); 218 prefs = new PreferencesStorage(Preferences.userRoot().node(PREFERENCES_NODE)); 245 private static class PreferencesStorage implements PersistentStorage { class in class:JShellToolBuilder 249 PreferencesStorage(Preferences p) { method in class:JShellToolBuilder.PreferencesStorage |
Completed in 42 milliseconds