java.text.DateFormatSymbols.equals(null) throws NullPointerException

Name: dfC67450 Date: 11/27/97



The java.text.DateFormatSymbols.equals(Object) method does not work correctly.
This method should return false if called with null argument
(see general contract for equals(): JLS 1.0 item 20.1.3, page 459).
But it throws NullPointerException.


Here is the test demonstrating the bug:

-----------------Test.java------------------------
import java.text.DateFormatSymbols;

public class TestDE {
    public static void main (String args[]){
        DateFormatSymbols dfs = new DateFormatSymbols();
        dfs.equals(null);
    }
}
---------Output from the test---------------------
java.lang.NullPointerException
        at java.text.DateFormatSymbols.equals(DateFormatSymbols.java)
        at TestDE.main(TestDE.java:6)
--------------------------------------------------

======================================================================