19202122232425
/** * A Handle used to mark the fragment. */ public class FragmentCornerHandle extends SquareHandle { FragmentCornerHandle(GraphicalEditPart owner) { super(owner, new EmptyLocator()); }