p.setLayout(new java.awt.BorderLayout());
if (positioning.equals("box")) {   }
    static void initialize_jpanel(java.lang.Object p0, java.lang.Object p1) {        javax.swing.JPanel p = (javax.swing.JPanel) p0;                if (p != null) {            java.lang.System.out.println("INFO: Initialize jpanel.");                        java.lang.String left_border = (java.lang.String) MapHandler.get_map_element(p1, JavaObjectHandler.LEFT_BORDER);            java.lang.String right_border = (java.lang.String) MapHandler.get_map_element(p1, JavaObjectHandler.RIGHT_BORDER);            java.lang.String top_border = (java.lang.String) MapHandler.get_map_element(p1, JavaObjectHandler.TOP_BORDER);            java.lang.String bottom_border = (java.lang.String) MapHandler.get_map_element(p1, JavaObjectHandler.BOTTOM_BORDER);            java.lang.String positioning = (java.lang.String) MapHandler.get_map_element(p1, JavaObjectHandler.POSITIONING);/*??            p.setBorder(javax.swing.BorderFactory.createEmptyBorder(                java.lang.Integer.parseInt(left_border),                java.lang.Integer.parseInt(right_border),                java.lang.Integer.parseInt(top_border),                java.lang.Integer.parseInt(bottom_border)));*/                        if ((positioning != null) && (positioning.equals("border"))) {                                p.setLayout(new java.awt.BorderLayout());            }                    } else {                        java.lang.System.out.println("ERROR: Could not initialize jpanel. The jpanel is null.");        }    }