Hi,
thanks.
For some reason, the menu mentioned in the documentation doesn't exist.
However, I was able to generate a keystore file using:
keytool -genkey -v -keystore my-key.keystore -alias alias_name -keyalg RSA -keysize 2048 -validity 10000
(the file then showed up in my user home directory).
The Android build worked now! :)