$/**$

$*4$ points

$*$

$*$ If a given character x is in a given string, then

$*$ return the substring of characters after

$*$ the first occurrence of x$.$ Otherwise return the

$*$ empty string $($which is just $"").$

$*$ This can be accomplished without any loops at

$*$ all if you use methods of the String class.

$*$ Check the Java API for String.