java - JPanel cambia el tamaño cuando el marco principal está configurado para no redimensionarse

swing jframe

Question

Han construido una pequeña prueba de la aplicación SWING con tres paneles. Un JPanel principal, que contiene dos más pequeños. Uno a la izquierda (panel de la pizarra) y el otro a la derecha (panel lateral). Ambos paneles internos se establecen en un tamaño específico solicitado llamando a los métodos de tamaño mínimo, preferido y máximo. Un botón en el panel derecho establece que el JFrame padre no se puede redimensionar. Todo se ve muy bien hasta que el marco principal se establece en no redimensionable, lo que provoca (?!) un cambio de tamaño del marco y el panel principal, que se hacen más grandes.

Se busca por qué ocurre el cambio de tamaño, y qué se puede hacer para mantener el panel principal y el marco del tamaño para encerrar solo los dos paneles internos, y nada más, una vez que el marco está congelado.

Se han resaltado los bordes del panel y agregado el registro de eventos de pintura para solucionar problemas de tamaño.

¡Gracias por la ayuda y la comprensión!

editar: Parece que este problema está en JRE 8. En JRE 9 desaparece, pero presenta un problema de escala. Toda la aplicación se amplía en mi monitor 4k, ejecutando Windows 10.

package org.fubar;
import javax.swing.BorderFactory;
import javax.swing.BoxLayout;
import javax.swing.JButton;
import javax.swing.JFrame;
import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.SwingUtilities;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Graphics;
import java.awt.Toolkit;
import java.awt.Window;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
public class PanelTest {
private static final String appTitle = "JPanel Test by Fubar.org(c)";
public static JFrame myFrame = null;
public static JPanel mainPanel = null;
public static JPanel boardPanel = null;
public static JPanel sidePanel = null;
public static void main(String[] args) {
SwingUtilities.invokeLater(new Runnable() {
public void run() {
createAndShowGUI();
}
});
}
private static void createAndShowGUI() {
System.out.println("Create and show GUI");
JFrame myFrame = new JFrame(appTitle);
myFrame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
mainPanel = new MainPanel();
myFrame.add(mainPanel);
myFrame.pack();
centreWindow(myFrame);
myFrame.setVisible(true);
}
public static void centreWindow(Window frame) {
Dimension dimension = Toolkit.getDefaultToolkit().getScreenSize();
int x = (int) ((dimension.getWidth() - frame.getWidth()) / 2);
int y = (int) ((dimension.getHeight() - frame.getHeight()) / 2);
frame.setLocation(x, y);
}
public static void barfSize(JPanel panel, String panelName) {
Dimension panelSize = panel.getSize();
System.out.println(String.format("%s size:(%d,%d);",panelName,panelSize.width,panelSize.height));
}
}
class MainPanel extends JPanel {
static final long serialVersionUID = 1;
public MainPanel() {
setBorder(BorderFactory.createLineBorder(Color.green));
setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
PanelTest.boardPanel = new BoardPanel();
PanelTest.boardPanel.setAlignmentY(TOP_ALIGNMENT);
add(PanelTest.boardPanel);
PanelTest.sidePanel = new SidePanel();
PanelTest.sidePanel.setAlignmentY(TOP_ALIGNMENT);
add(PanelTest.sidePanel);
}
public void paintComponent(Graphics gooey) {
super.paintComponent(gooey);
PanelTest.barfSize(this, "Main Panel");
}
}
class BoardPanel extends JPanel {
static final long serialVersionUID = 1;
public BoardPanel() {
setBorder(BorderFactory.createLineBorder(Color.red));
Dimension mySize = new Dimension(400,200);
setMinimumSize(mySize);
setPreferredSize(mySize);
setMaximumSize(mySize);
JLabel lblText = new JLabel("Board Panel");
add(lblText);
}
public void paintComponent(Graphics gooey) {
super.paintComponent(gooey);
PanelTest.barfSize(this, "Board Panel");
}
}
class SidePanel extends JPanel implements ActionListener {
static final long serialVersionUID = 1;
public SidePanel() {
setBorder(BorderFactory.createLineBorder(Color.blue));
Dimension mySize = new Dimension(200,200);
setMinimumSize(mySize);
setPreferredSize(mySize);
setMaximumSize(mySize);
JLabel lblText = new JLabel("Side Panel");
add(lblText);
JButton btnFreeze = new JButton("Freeze");
btnFreeze.setActionCommand("Freeze");
btnFreeze.setToolTipText("Click me to freeze frame");
btnFreeze.setBorderPainted(true);
btnFreeze.setEnabled(true);
btnFreeze.addActionListener(this);
add(btnFreeze);
}
public void actionPerformed(ActionEvent action) {
String command = action.getActionCommand();
if ( command == "Freeze") {
freezeFrame();
System.out.println("Froze frame.");
}
Dimension panelSize = getSize();
System.out.println(String.format("Side Panel size:(%d,%d);",panelSize.width,panelSize.height));
}
public void paintComponent(Graphics gooey) {
super.paintComponent(gooey);
PanelTest.barfSize(this, "Side Panel");
}
public void freezeFrame() {
JFrame topFrame = (JFrame) SwingUtilities.getWindowAncestor(this);
Dimension parentSize = this.getParent().getSize();
topFrame.setMaximumSize(parentSize);
topFrame.setResizable(false);
}
}

Tapa de pantalla 1:
Aplicación antes de cambiar el tamaño del marco deshabilitado

Tapa de la pantalla 2:
El tamaño de la aplicación después del marco está deshabilitado

Ejecutar registro

Create and show GUI
Main Panel size:(602,202);
Side Panel size:(200,200);
Board Panel size:(400,200);
Main Panel size:(602,202);
Side Panel size:(200,200);
Board Panel size:(400,200);
Froze frame.
Side Panel size:(200,200);
Main Panel size:(618,218);
Side Panel size:(200,200);
Board Panel size:(400,200);
Main Panel size:(618,218);
Side Panel size:(200,200);
Board Panel size:(400,200);