Package org.gjt.sp.util


package org.gjt.sp.util
Utility classes used by jEdit but that do not depend on jEdit itself.