org.eclipse.tea.core.ui.live/src/org/eclipse/tea/core/ui/live/internal/Refreshable.java

package org.eclipse.tea.core.ui.live.internal;

public interface Refreshable {

	public void refresh();

}