155156157158159160161162
project = getLastProject(); updateFrameTitle(); highlightColor = Color.yellow; tokenizationCache = new TokenCache(); makeGUI(); }