Package org.gjt.sp.util

Utility classes used by jEdit but that do not depend on jEdit itself.