Minor fixes in the JMenuBar and DepartureBoard not resizable anymore