fix path generation

Author: Vladimir Kotal

opengrok-indexer/src/main/java/org/opengrok/indexer/history/SCCSRepository.java

@@ -28,6 +28,7 @@
 import java.io.FileReader;
 import java.io.IOException;
 import java.io.InputStream;
+import java.nio.file.Paths;
 import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.Map;
@@ -56,6 +57,8 @@ public class SCCSRepository extends Repository {
      */
     public static final String CMD_FALLBACK = "sccs";
 
+    private static final String CODEMGR_WSDATA = "Codemgr_wsdata";
+
     public SCCSRepository() {
         type = "SCCS";
         datePatterns = new String[]{
@@ -143,18 +146,18 @@ public void update() {
     public boolean fileHasHistory(File file) {
         String parentFile = file.getParent();
         String name = file.getName();
-        File f = new File(parentFile + "/SCCS/s." + name);
+        File f = Paths.get(parentFile, "SCCS", "s." + name).toFile();
         return f.exists();
     }
 
     @Override
     boolean isRepositoryFor(File file, boolean interactive) {
         if (file.isDirectory()) {
-            File f = new File(file, "codemgr_wsdata");
+            File f = new File(file, CODEMGR_WSDATA.toLowerCase());
             if (f.isDirectory()) {
                 return true;
             }
-            f = new File(file, "Codemgr_wsdata");
+            f = new File(file, CODEMGR_WSDATA);
             if (f.isDirectory()) {
                 return true;
             }
@@ -187,8 +190,7 @@ History getHistory(File file) throws HistoryException {
 
     @Override
     String determineParent(boolean interactive) throws IOException {
-        File parentFile = new File(getDirectoryName() + File.separator
-                + "Codemgr_wsdata" + File.separator + "parent");
+        File parentFile = Paths.get(getDirectoryName(), CODEMGR_WSDATA, "parent").toFile();
         String parent = null;
 
         if (parentFile.isFile()) {