diff --git a/platform/platform-impl/src/com/intellij/openapi/application/ex/ClipboardUtil.java b/platform/platform-impl/src/com/intellij/openapi/application/ex/ClipboardUtil.java index ec4eeae35868..827096ed655b 100644 --- a/platform/platform-impl/src/com/intellij/openapi/application/ex/ClipboardUtil.java +++ b/platform/platform-impl/src/com/intellij/openapi/application/ex/ClipboardUtil.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2016 JetBrains s.r.o. + * Copyright 2000-2017 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -18,38 +18,39 @@ package com.intellij.openapi.application.ex; import com.intellij.openapi.diagnostic.Logger; import com.intellij.openapi.ide.CopyPasteManager; import com.intellij.openapi.util.SystemInfo; +import org.jetbrains.annotations.NotNull; import org.jetbrains.annotations.Nullable; import java.awt.datatransfer.DataFlavor; import java.util.function.Supplier; public class ClipboardUtil { - private static final Logger LOG = Logger.getInstance("#com.intellij.ide.Clipboard"); - public static E handleClipboardSafely(final Supplier supplier, final Supplier onFail) { - try { - return useLegacyMergeSort(supplier); + public static E handleClipboardSafely(@NotNull Supplier supplier, @NotNull Supplier onFail) { + try { + return useLegacyMergeSort(supplier); + } + catch (IllegalStateException e) { + if (SystemInfo.isWindows) { + LOG.debug("Clipboard is busy"); } - catch (IllegalStateException e) { - if (SystemInfo.isWindows) { - LOG.debug("Clipboard is busy"); - } - else { - LOG.warn(e); - } - return onFail.get(); + else { + LOG.warn(e); } + return onFail.get(); + } } private static final String USE_LEGACY_MERGE_SORT_PROPERTY_NAME = "java.util.Arrays.useLegacyMergeSort"; - public static T useLegacyMergeSort(Supplier supplier) { + private static T useLegacyMergeSort(Supplier supplier) { String originalValue = System.getProperty(USE_LEGACY_MERGE_SORT_PROPERTY_NAME); System.setProperty(USE_LEGACY_MERGE_SORT_PROPERTY_NAME, "true"); try { return supplier.get(); - } finally { + } + finally { if (originalValue != null) { System.setProperty(USE_LEGACY_MERGE_SORT_PROPERTY_NAME, originalValue); } @@ -60,4 +61,4 @@ public class ClipboardUtil { public static String getTextInClipboard() { return CopyPasteManager.getInstance().getContents(DataFlavor.stringFlavor); } -} +} \ No newline at end of file