Add a test for the condition described in JTox.cpp's TODO.