Fix a problem for JavaNCSS