Removed deprecated JSSourceFile (replaced by SourceFile)