Fixed JavaScript port of the #ipv4 filter
Added JavaScript annotations
Added more JavaScript annotations + suppressed warnings with casting