PHP 7

So, my host recommends PHP 7, and they have a tool that checks my site to be sure all is compatible. I get an error regarding this plugin. Is this something that needs to be updated in a future release:

FILE: /home/freeston/public_html/wp-content/plugins/simple-real-estate-pack-4/lib/JSON/JSON.php
———————————————————————————————–
FOUND 0 ERRORS AND 3 WARNINGS AFFECTING 3 LINES
———————————————————————————————–
133 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
783 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
797 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
———————————————————————————————–

FILE: /home/freeston/public_html/wp-content/plugins/simple-real-estate-pack-4/lib/JSON/Test-JSON.php
—————————————————————————————————-
FOUND 0 ERRORS AND 8 WARNINGS AFFECTING 8 LINES
—————————————————————————————————-
27 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
159 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
214 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
291 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
330 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
378 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
420 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
448 | WARNING | Use of deprecated PHP4 style class constructor is not supported since PHP 7.
—————————————————————————————————-