tree 5264f75ed1f8c37abdf08eccb476ae7d72220920
parent 620f0e5006fb88967199b05cd54db6c22f41fc51
author Weijun Wang <weijun@openjdk.org> 1351491247 +0800
committer Weijun Wang <weijun@openjdk.org> 1351491247 +0800

7195426: kdc_default_options not supported correctly

Reviewed-by: xuelei