Method getPlaceNamesWithDefault

src/periphery/Places.java:19–28

(String defaultName)

	}

	public String[] getPlaceNamesWithDefault(String defaultName) {
		Place[] placesArray = new Place[this.places.size()];
		placesArray = this.places.toArray(placesArray);
		String[] result = new String[this.places.size() + 1];
		result[0] = defaultName;
		for (int i = 1; i < this.places.size() + 1; i++) {
			result[i] = placesArray[i - 1].getDisplayName();
		}
		return result;
	}

	public String[] getPlaceNames() {
		Place[] placesArray = new Place[this.places.size()];