format sync with JD-GUI decompiled sources