Java API Specifications of the DMelt project