Correction to incorrect table format in java options framework documentation