hopefully now tests for nodes-finding are inside
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
adding commons.lang and fixing the CBMC tests
Merge remote-tracking branch 'origin/master'