RadioChoiceForm widget commented using JavaDoc notation, small optimizations made