eclipse-null-eea-augments icon indicating copy to clipboard operation
eclipse-null-eea-augments copied to clipboard

Published 20 hours ago • verified publisher icon lastnpe

eaa for java.util.Properties.getProperty(String,String) is incorrect

Open JohnLussmyer opened this issue 3 years ago • 10 comments

The file has it as: getProperty (Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String; (L1java/lang/String;L1java/lang/String;)L1java/lang/String; which specifies that the 2nd parameter and return value must be NonNull. Looking at the code, they both can be null.

JohnLussmyer avatar Jun 22 '21 20:06 JohnLussmyer