src/javajs/swing/Document.java

   1 package javajs.swing;
   2
   3 public interface Document {
   4
   5         void insertString(int i, String text, Object object);
   6
   7 }