Patch obtained by running diff -u on the modified file versus the original file: AlgernonProtegeFrame.java