/*
 * File         : ShapeThicknessEditor.java
 * Author       : Mahesh Rengaswamy
 * Created      : Fri Jan  2 17:26:29 1998
 * Revision     : $Revision$
 * Updated      : $Date$
 * Copyright: Northeast Parallel Architectures Center
 *            at Syracuse University 1998
 */

package sunw.demo.hotspots;

public class ShapeThicknessEditor extends java.beans.PropertyEditorSupport {
  
  public String[] getTags() {
    String result[] = {
      "1",
      "2",
      "3"
    };
    return result;
  }
}