optical changes + flexibilty tab

src/ui/view/FlexiblePane.java

@@ -0,0 +1,9 @@
+package ui.view;
+
+import javax.swing.JPanel;
+
+public class FlexiblePane extends JPanel {
+	public FlexiblePane() {
+	}
+
+}

src/ui/view/GUI.java

@@ -1703,6 +1703,7 @@ public class GUI<E> implements CategoryListener {
 		tabbedPane.addTab("View", canvasSP);
 		tabbedPane.addTab("Statistics", statScrollPane);
 		tabbedPane.addTab("Holon", holonCanvas);
+		tabbedPane.addTab("Flexibility", new FlexiblePane());
 
 		splitPaneCanvasConsole.setRightComponent(console);
 		splitPane1.setLeftComponent(splitPaneCanvasConsole);

src/ui/view/StatPanel2.java

@@ -54,6 +54,7 @@ import javax.swing.Box;
 import javax.swing.BoxLayout;
 import java.awt.FlowLayout;
 import java.awt.BorderLayout;
+import javax.swing.border.EmptyBorder;
 
 public class StatPanel2 extends JSplitPane implements GraphListener {
 	public static final String MAIN_GRID = "Main Grid";
@@ -114,6 +115,7 @@ public class StatPanel2 extends JSplitPane implements GraphListener {
 	
 
 	public StatPanel2(Control cont) {
+		setBorder(null);
 		setMaximumSize(new Dimension(0, 0));
 		setPreferredSize(new Dimension(0, 0));
 		setMinimumSize(new Dimension(0, 0));
@@ -163,6 +165,7 @@ public class StatPanel2 extends JSplitPane implements GraphListener {
 		propValTable.put(PROD_CONS_RATIO, TrackedDataSet.RATIO_PRODUCERS_CONSUMERS);
 
 		JScrollPane graphScrollPane = new JScrollPane();
+		graphScrollPane.setBorder(null);
 		setRightComponent(graphScrollPane);
 
 		graphPanel = new JPanel();
@@ -172,6 +175,7 @@ public class StatPanel2 extends JSplitPane implements GraphListener {
 		graphScrollPane.setViewportView(graphPanel);
 		
 		JSplitPane splitPane = new JSplitPane();
+		splitPane.setBorder(null);
 		splitPane.setPreferredSize(new Dimension(0, 0));
 		splitPane.setMinimumSize(new Dimension(0, 0));
 		splitPane.setMaximumSize(new Dimension(0, 0));
@@ -180,7 +184,9 @@ public class StatPanel2 extends JSplitPane implements GraphListener {
 		
 		//========================== TREE STRUCTURE ===============================//
 		JScrollPane treeScrollPane = new JScrollPane();
+		treeScrollPane.setBorder(null);
 		objectTree = new JTree();
+		objectTree.setBorder(new EmptyBorder(0, 0, 0, 0));
 		treeModel = (DefaultTreeModel) objectTree.getModel();
 		DefaultMutableTreeNode root = new DefaultMutableTreeNode("Statistics");
 		mainGrid = new DefaultMutableTreeNode(MAIN_GRID);
@@ -608,6 +614,7 @@ public class StatPanel2 extends JSplitPane implements GraphListener {
 		
 		//=========================== WINDOWBUILDER COMPONENTS ====================//
 		JScrollPane scrollPane = new JScrollPane();
+		scrollPane.setBorder(null);
 		splitPane.setRightComponent(scrollPane);
 		
 		JPanel editPanel = new JPanel();