rmannibucau commented on code in PR #1501: URL: https://github.com/apache/maven/pull/1501#discussion_r1590346155
########## api/maven-api-core/src/main/java/org/apache/maven/api/JavaPathType.java: ########## @@ -18,6 +18,10 @@ */ package org.apache.maven.api; +import javax.tools.DocumentationTool; Review Comment: Ok for me if the name reflects it so something like JavaxToolPathType - or whatever makes it explicit. JavaPathType is way more generic IMHO. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@maven.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org