+act #15383 add strict japi.Option.getOrElse to simplify working with options from Java

Fix for #15383. (Follow-up to #15393 rebased onto master.)