Ilya Chernikov 34569071b3 [minor] rename function

2018-09-06 19:17:45 +02:00

..

common

Make property collection serializable (with runtime check)

2018-09-06 19:17:45 +02:00

jvm

Renaming remaining former "environment"-related identifiers

2018-09-06 19:17:44 +02:00

jvm-host

[minor] rename function

2018-09-06 19:17:45 +02:00