diff --git a/java/src/processing/mode/java/JavaEditor.java b/java/src/processing/mode/java/JavaEditor.java index 5a8abe8c0..692a11a97 100644 --- a/java/src/processing/mode/java/JavaEditor.java +++ b/java/src/processing/mode/java/JavaEditor.java @@ -1687,10 +1687,8 @@ public class JavaEditor extends Editor { /** * Returns a list of AvailableContributions of those libraries that the user * wants imported, but that are not installed. - * - * @param importHeaders */ - private List getNotInstalledAvailableLibs(ArrayList importHeadersList) { + private List getNotInstalledAvailableLibs(List importHeadersList) { Map importMap = ContributionListing.getInstance().getLibrariesByImportHeader(); List libList = new ArrayList<>();