Your comments

So far so good, but streams from radio stations seem to take a long time to start, i.e. there is a lot of buffering before the audio starts.  Was much quicker using ICS, but at least it's working now ;-)

 Thanks for the info Jona :-)  I look forward to being able to use it again and add my own URLs.  Many thanks!

Same problem here too - no go on Jellybean. Bummer.