Merge remote-tracking branch 'origin/master'

src/view/MainView.java

@@ -355,6 +355,8 @@ public class MainView {
         menue.add( stepBackwardOut );
         menue.add( runBackward );
 		frame.add( menue, BorderLayout.EAST );
+		frame.setSize( frame.getWidth() + 1, frame.getHeight() );
+        frame.setSize( frame.getWidth() - 1, frame.getHeight() );
 		frame.validate();
 		frame.repaint();