IcedTea does not like it with $extension.  Weird.