Java backend: revised TODO comment
testgen: minor: avoid hard-coded test generation strategy