Java：（Swing）获取窗口边框的宽度