I tried putting the menu in a loop. read_line() appends to the String choice so the newly given input won't be processed. To deal with this, call the choice.clear() before calling read_line() in the loop.