Update testJerrysLibrary.php