Java in a Firefox extension