Package com.jml.util

package com.jml.util
Contains utility classes for the JML library. This includes errors, array utilities, and a file manager.