001 package nl.cwi.sen1.gui.component; 002 003 import java.util.EventListener; 004 005 public interface NameChangedListener extends EventListener { 006 public void componentNameChanged(); 007 }