license decoder: re-format code again, since it comes from java decompiler