I20240513-1800
The usage of `IPath.toString()` and `toOSString()` seem to follow some surprising rules in `JavaSearchScope`. In the case of `convertInternalToExternalPath()` we are supposed to use paths containing forward slash as that is what used in `JavaSearchScope.getPath()`. Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2439