Updating macOS installation instructions (#6827)

Author: jyoo980

docs/manual/troubleshooting.tex

@@ -761,38 +761,43 @@
 \end{smaller}
 %END LATEX
 
-\item[Mac OS]
+\item[macOS]
   If you employ \href{https://brew.sh}{homebrew} to install packages, run
   the following commands:
 
 \begin{Verbatim}
 brew update
 brew install git graphviz ant hevea maven librsvg unzip make
-brew tap homebrew/cask-versions
 brew install --cask temurin17
 brew install --cask mactex
 \end{Verbatim}
 
+Note: Running \<brew install --cask temurin17> is only necessary if you do not
+already have a JDK that is compatible with the Checker Framework installed.
+
 Make a \<latex> directory and copy \<hevea.sty> file into it.
 (\url{https://hevea.inria.fr/} gives the current version number.)
 
 \begin{Verbatim}
 mkdir -p $HOME/Library/texmf/tex/latex
-cp -p /usr/local/Cellar/hevea/2.36/lib/hevea/hevea.sty $HOME/Library/texmf/tex/latex/
+cp -p /opt/homebrew/Cellar/hevea/2.36/lib/hevea/hevea.sty $HOME/Library/texmf/tex/latex/
 \end{Verbatim}
 
 Note: If copy permission is denied, try \<sudo>.
 
 In a startup file, write:
 
 \begin{Verbatim}
-export JAVA_HOME=$(/usr/libexec/java_home -v 17)
+export JAVA_HOME=$(/usr/libexec/java_home -v XX)
 \end{Verbatim}
 or
 \begin{Verbatim}
-export JAVA_HOME=/Library/Java/JavaVirtualMachines/adoptopenjdk-17.jdk/Contents/Home/
+export JAVA_HOME=/Library/Java/JavaVirtualMachines/adoptopenjdk-XX.jdk/Contents/Home/
 \end{Verbatim}
 
+where \emph{XX} is a JDK version such as 17, 21, 23, etc. that appears in one
+of the names for the files in \<checker/bin-devel>, e.g.,
+\<Dockerfile-ubuntu-jdk\emph{XX}-plus>.
 
 \item[Windows]
   To build on Windows 10 or later,