I was using an "old" version of KeyValueStore. Having found this problem:
https://www.b4x.com/android/forum/posts/557508/
I replaced the old class with the latest one (and replaced all PutSimple and GetSimple with Put and Get).
Running the project, I get:
java.lang.NumberFormatException...