public void addListener(CoreListener listener) {
		if (this.listeners.contains(listener)) {
			throw new RuntimeException("listener already in list: " + listener.getClass().getName());
		}
		this.listeners.add(listener);
	}