make dots_generated work with java