void function ( JPanel arg0 , String arg1 ) { Border loc0 = arg0 . getBorder ( ) ; if ( loc0 instanceof TitledBorder ) { ( ( TitledBorder ) arg0 . getBorder ( ) ) . setTitle ( arg1 ) ; arg0 . repaint ( ) ; } else arg0 . setBorder ( BorderFactory . createTitledBorder ( arg1 ) ) ; }
settitle . concode_field_sep ConcurrentMap<URI,Image> imageCache concode_field_sep JButton getButton concode_elem_sep void setDefaultFont concode_elem_sep JToggleButton getToggleButton concode_elem_sep void setHTMLEditorKit concode_elem_sep URL getFileURL concode_elem_sep void setVerticalScrollingView concode_elem_sep ImageIcon getImageIcon concode_elem_sep String getDisplayManaCost concode_elem_sep void invokeLater concode_elem_sep void invokeAndWait concode_elem_sep void setSystemLookAndFeel