public class DeTeXtive extends java.lang.Object
DeTeXtive()
java.lang.String
deTeXt(java.io.InputStream is)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DeTeXtive()
public java.lang.String deTeXt(java.io.InputStream is) throws java.io.IOException
is
java.io.IOException