//On VMS, the case of the JRE classpaths returned from System.property

    //isn't necessary consistent with the case of the JRE files on the physical 

    //disk. So we look up the directory and fix the case of the classpaths.

    public static String normalizeVMSFilePaths(String paths) {

        String[] pathTokens = paths.split(File.pathSeparator);

        StringBuffer newPaths = new StringBuffer();

        for(int i=0; i<pathTokens.length; i++) {

            if (pathTokens[i].length() > 0)

                newPaths.append(

                    normalizeVMSFilePath(pathTokens[i]) 

                    + ((i+1) < pathTokens.length ? File.pathSeparator : ""));

        }

        return newPaths.toString();

    }

    //On VMS, the case of the JRE classpaths returned from System.property

    //isn't necessary consistent with the case of the JRE files on the physical 

    //disk. So we look up the directory and fix the case of the classpaths.

    public static String normalizeVMSFilePath(String path) {

         //First, take out the 000000

        String nPath = path.replaceAll("/000000","");

        //Now fix the cases of each files and directories

        //by comparing against the native filesystem

        StringBuffer newPath = new StringBuffer();

        String[] stok = nPath.split("/");

        //Do the File.list of each directory from the root

        //to find the correct case of each sub files/directories and construct 

        //a new path

        for(int i=0; i<stok.length; i++) {

            if(stok[i].length() == 0)

               continue;

            newPath.append(File.separatorChar + stok[i]);

            File f = new File(newPath.toString());

            if (f.isDirectory()) {

                String [] files = f.list();

                for (int j=0; j<files.length; j++) {

                    if ((i+1) < stok.length && files[j].equalsIgnoreCase(stok[i+1])) {

                        stok[i+1] = files[j];

                        break;

                    }

                }

            }

        }

        return newPath.toString();

    }