2018-01-18 23:18:45 +01:00
|
|
|
public class ServerType {
|
|
|
|
private String name;
|
2018-01-19 00:43:33 +01:00
|
|
|
private String[] versions;
|
2018-01-18 23:18:45 +01:00
|
|
|
|
2018-01-19 00:43:33 +01:00
|
|
|
public ServerType(String name, String[] versions) {
|
2018-01-18 23:18:45 +01:00
|
|
|
this.name = name;
|
|
|
|
this.versions = versions;
|
|
|
|
}
|
|
|
|
|
|
|
|
public String getName() {
|
|
|
|
return this.name;
|
|
|
|
}
|
|
|
|
|
|
|
|
public ArrayList<String> getVersions() {
|
|
|
|
return this.versions;
|
|
|
|
}
|
|
|
|
}
|