Fix bug found by findbugs.
Update ant/toplevel.properties.