if (progressMonitor == null)\r
progressMonitor = new NullProgressMonitor();\r
File dbLocation = Platform.getLocation().append("db").toFile();\r
ServerManager serverManager;\r
try {\r
if (progressMonitor == null)\r
progressMonitor = new NullProgressMonitor();\r
File dbLocation = Platform.getLocation().append("db").toFile();\r
ServerManager serverManager;\r
try {\r