fixed test case by adding the method to keys library

3 jobs for grebing_luong_workbranch in 3 minutes and 2 seconds
Status Name Job ID Coverage
  Build
passed build:jdk8 #115128

00:01:06

 
  Test
failed test #115129
allowed to fail

00:01:07

 
  Deploy
passed deploy #115130

00:00:48

 
Name Stage Failure
failed
test Test
> There were failing tests. See the report at: file:///builds/xt9634/ProofScriptParser/ui/build/reports/tests/test/index.html

* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

* Get more help at https://help.gradle.org

BUILD FAILED in 53s
ERROR: Job failed: exit code 1