Source

jackpot30-demo-examples / src / META-INF / upgrade / j.l.String.hint

Full commit
1
2
3
4
   $str.equals("")    :: $str instanceof java.lang.String
=> $str.isEmpty()     :: sourceVersionGE(SourceVersion.RELEASE_6)
=> $str.length() == 0 :: otherwise
;;