修改thinking-rock的默认字体大小

thinking-rock的默认字体太小，
修改thinkingrock.conf,将其中的
default_options="-J-Xms64m -J-Xmx256m -J-Dnetbeans.logger.console=true -J-ea"
改为
default_options="-J-Xms64m -J-Xmx256m -J-Dnetbeans.logger.console=true -J-ea --fontsize 16"
就行了，但是还是比较虚。