genStringAsCharArray is a parameter to let jspc generate optimized java code