more precise java-doc