void (CompileContext context) { if (context != null) { final ProjectDescriptor pd = context.getProjectDescriptor(); pd.getProjectStamps().getStampStorage().force(); pd.dataManager.flush(false); } final ExternalJavacManager server = ExternalJavacManager.KEY.get(context); if (server != null) { server.stop(); ExternalJavacManager.KEY.set(context, null); } }