private static void rewriteOptions ( String [ ] args , String option , String new_option ) { for ( int i = 0 ; i < args . length ; ++ i ) { if ( args [ i ] . equals ( option ) ) { args [ i ] = new_option ; } } }
Rewrite a single option into something else .