diff --git a/java/jscope/src/main/java/mds/jscope/jScopeFacade.java b/java/jscope/src/main/java/mds/jscope/jScopeFacade.java index 93a0ac1230..77b00b8e6e 100644 --- a/java/jscope/src/main/java/mds/jscope/jScopeFacade.java +++ b/java/jscope/src/main/java/mds/jscope/jScopeFacade.java @@ -376,8 +376,8 @@ else if (rb.isSelected() && rb.getText().equals("Java Look and Feel")) private static final JWindow splashScreen = new JWindow(); static { // handle case jScope vs.jscope - String profile = System.getProperty("user.home") + File.separator + "jscope"; - final String upper = System.getProperty("user.home") + File.separator + "jscope"; + String profile = System.getProperty("user.home") + File.separator + "jScope"; + final String upper = System.getProperty("user.home") + File.separator + "jScope"; if (!new File(profile).exists() && new File(upper).exists()) profile = upper; JSCOPE_PROFILE = profile;