JDoctest: an implementation of Python's doctest for Java/Javascript