001package jmri.jmris.simpleserver;
002
003public class SimpleServerPreferences extends jmri.jmris.AbstractServerPreferences {
004
005    public static final int DEFAULT_PORT = 2056;
006    static final String XML_PREFS_ELEMENT = "SimpleServerPreferences"; // NOI18N
007    static final String PORT = "port"; // NOI18N
008
009    public SimpleServerPreferences(String fileName) {
010        super(fileName);
011    }
012
013    public SimpleServerPreferences() {
014        super();
015    }
016
017    @Override
018    public int getDefaultPort() {
019        return Integer.parseInt(Bundle.getMessage("SimpleServerPort"));
020    }
021
022}