138139140141142143144145146147148
if (display != null) { display.dispose(); } Location instanceLoc = Platform.getInstanceLocation(); if (instanceLoc != null) instanceLoc.release(); } } /** * Creates the display used by the application.