From c68abddc6470148a7e3ffdec5b28d0a87fe53b9b Mon Sep 17 00:00:00 2001
From: Sergey Ignatov <sergey.ignatov@jetbrains.com>
Date: Sat, 21 Jun 2014 18:26:21 +0400
Subject: [PATCH] cleanup

---
 .../org/intellij/images/editor/impl/ImageEditorUI.java | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/images/src/org/intellij/images/editor/impl/ImageEditorUI.java b/images/src/org/intellij/images/editor/impl/ImageEditorUI.java
index 7f2003ffead4..fbc5c38012e5 100644
--- a/images/src/org/intellij/images/editor/impl/ImageEditorUI.java
+++ b/images/src/org/intellij/images/editor/impl/ImageEditorUI.java
@@ -38,6 +38,7 @@ import org.intellij.images.options.*;
 import org.intellij.images.ui.ImageComponent;
 import org.intellij.images.ui.ImageComponentDecorator;
 import org.jetbrains.annotations.NonNls;
+import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 
 import javax.swing.*;
@@ -50,6 +51,7 @@ import java.awt.event.MouseWheelEvent;
 import java.awt.event.MouseWheelListener;
 import java.awt.image.BufferedImage;
 import java.awt.image.ColorModel;
+import java.util.Locale;
 
 /**
  * Image editor UI
@@ -160,7 +162,7 @@ final class ImageEditorUI extends JPanel implements DataProvider {
       if (format == null) {
         format = ImagesBundle.message("unknown.format");
       } else {
-        format = format.toUpperCase();
+        format = format.toUpperCase(Locale.ENGLISH);
       }
       VirtualFile file = editor.getFile();
       infoLabel.setText(
@@ -230,7 +232,7 @@ final class ImageEditorUI extends JPanel implements DataProvider {
     }
 
     @Override
-    protected void paintComponent(Graphics g) {
+    protected void paintComponent(@NotNull Graphics g) {
       super.paintComponent(g);
       if (UIUtil.isUnderDarcula()) {
         g.setColor(UIUtil.getControlColor().brighter());
@@ -335,7 +337,7 @@ final class ImageEditorUI extends JPanel implements DataProvider {
   }
 
   private class DocumentChangeListener implements ChangeListener {
-    public void stateChanged(ChangeEvent e) {
+    public void stateChanged(@NotNull ChangeEvent e) {
       ImageDocument document = imageComponent.getDocument();
       BufferedImage value = document.getValue();
 
@@ -350,7 +352,7 @@ final class ImageEditorUI extends JPanel implements DataProvider {
   }
 
   private class FocusRequester extends MouseAdapter {
-    public void mousePressed(MouseEvent e) {
+    public void mousePressed(@NotNull MouseEvent e) {
       requestFocus();
     }
   }