Sets the option to determine what compiler to use. @param c New value @see Options#getCompiler()
(String c)
| 770 | * @see Options#getCompiler() |
| 771 | */ |
| 772 | public void setCompiler(String c) { |
| 773 | compiler = c; |
| 774 | } |
| 775 | |
| 776 | @Override |
| 777 | public String getCompilerClassName() { |