Class Prefs

java.lang.Object
org.yamcs.studio.core.utils.Prefs

public class Prefs extends Object
TODO use gson for better migrations, or use eclipse prefs