Package japicmp.util