Fix bug for cross-repo navigation to the JDK sources.#212

olafurpg merged 4 commits into

scip-code:mainscip-code/scip-java:mainfrom

olafurpg:jdk-navigationolafurpg/lsif-java:jdk-navigationCopy head branch name to clipboard