More JS->Java conversions