My machine doesn't correctly compare strings produced by ctx.getText(), but they still have equivalent hashcodes.