+ void set_use_any_servers (bool u) {
+ _use_any_servers = u;
+ write ();
+ }
+
+ bool use_any_servers () const {
+ return _use_any_servers;
+ }
+
+ /** @param s New list of servers */
+ void set_servers (std::vector<std::string> s) {
+ _servers = s;
+ write ();
+ }
+
+ /** @return Host names / IP addresses of J2K encoding servers that should definitely be used */
+ std::vector<std::string> servers () const {
+ return _servers;
+ }
+