\chapter{Case Study: Dijkstra's Shortest Path Algorithm}\label{ch:dijkstracase}
\begin{spacing}{1.0}
\lstinputlisting[label=sourcecodeofdijkstra,caption=Source Code of the JStar Dijkstra Program.]
{./appendix/sourcecode/Dijkstra.jstar}\pagebreak
\lstinputlisting[label=outputofdijkstra,caption=Output of the JStar Dijkstra Program.]
{./appendix/output/Dijkstra.log}
\end{spacing}
\cleardoublepage