bug fix
Merge branch 'develop' of https://github.com/vijos/openvj into develop
no use
Revert "no use"

This reverts commit 77a423a39a3299d47218409500da9c59d01df393.
Merge branch 'develop' of https://github.com/vijos/openvj into develop