public SDK copy() {
SDK copy = new SDK(this.getLocation());
copy.setContributed(isContributed());
copy.setDefault(isDefault());
copy.setName(getName());
copy.setVersion(getVersion());
return copy;
}
public void loadFromMemento(XMLMemento sdkElement) {
setName(sdkElement.getString("name")); // $NON-NLS-1$
setLocation(Path.fromPortableString(sdkElement.getString("location"))); // $NON-NLS-1$
// setRuntime(sdkElement.getString("runtime"));
}
