BorderFactory.createEmptyBorder());
JScrollPane scrollModelCheckerUIOptimized = new JScrollPane(
plModelCheckerUIOptimized.getCheckerComponent());
scrollModelCheckerUIOptimized.setBorder(BorderFactory
.createEmptyBorder());
layout.addWindow(scrollModelCheckerUIOptimized, "ģ�ͼ��-�汾���Ż���", icon,
ConstantDefinition.Position.BOT, true);
/*
* JComponent GUILogger = new StdInterceptingPane(true, true);
* GUILogger.setBorder(BorderFactory.createEmptyBorder());
* capricePanel.add(GUILogger, null, "������Ϣ", SwingConstants.SOUTH);