javax / reasoning