From 6671ca142741a54462c99ea086f924d64a350f74 Mon Sep 17 00:00:00 2001 From: vito Date: Tue, 12 Sep 2017 09:06:44 +0800 Subject: [PATCH] pmd --- designer_base/src/com/fr/start/StartServer.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/designer_base/src/com/fr/start/StartServer.java b/designer_base/src/com/fr/start/StartServer.java index 56cc557aad..c235c4f681 100644 --- a/designer_base/src/com/fr/start/StartServer.java +++ b/designer_base/src/com/fr/start/StartServer.java @@ -180,10 +180,16 @@ public class StartServer { private static class InformationPane extends BasicPane { private static final long serialVersionUID = 1L; + private final int FREE_STYLE_TOP = 15; + private final int FREE_STYLE_OTHER = 5; public InformationPane(String message) { + init(message); + } + + private void init(String message) { this.setLayout(new BorderLayout(10, 10)); - this.setBorder(BorderFactory.createEmptyBorder(15, 5, 5, 5)); + this.setBorder(BorderFactory.createEmptyBorder(FREE_STYLE_TOP, FREE_STYLE_OTHER, FREE_STYLE_OTHER, FREE_STYLE_OTHER)); String text; if (!ComparatorUtils.equals(message, Inter.getLocText(new String[]{"Default", "Utils-Report_Runtime_Env"}))) { text = new StringBuffer(Inter.getLocText("FR-Designer_Open"))