public java.lang.String METHOD_1 ( ) { <BUG> return new TYPE_1 ( STRING_1 ) . format ( date ) ;</BUG> }
public java.lang.String METHOD_1 ( ) { return new TYPE_1 ( STRING_1 ) . format ( date . getTime ( ) ) ; } 
