mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
The old variant worked in log4j but didn't work since logging was to java.util.logging. GitOrigin-RevId: 1211d833709e29235fef345c50e78f9653c124a8