move divineTreeFormat to GeneralUtils.java