method com.dmdirc.ui.CoreUIUtils__static_init










method void com.dmdirc.ui.CoreUIUtils()










method void centreWindow(Window)
prewindow != null
presumption(-(java.awt.Window:getHeight(...)@56 - gcBounds.height@50))/2 + gcBounds.y@50 in {-231..232-1}
presumption(-(java.awt.Window:getWidth(...)@55 - gcBounds.width@50))/2 + gcBounds.x@50 in {-231..232-1}
presumptionjava.awt.GraphicsConfiguration:getBounds(...)@50 != null
presumptionjava.awt.GraphicsDevice:getDefaultConfiguration(... )@47 != null
presumptionjava.awt.MouseInfo:getPointerInfo(...)@43 != null
presumptionjava.awt.PointerInfo:getDevice(...)@45 != null