Merge pull request #18 from SDenis-STH/Charlieee754-master

Charlieee754 master
Merge branch 'master' of https://github.com/SDenis-STH/JDB into icedkiller-master