From a6946e240be4b8efe7fe6ddeb841e78f42668a0c Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sat, 3 Jul 2021 09:24:48 -0400
Subject: [PATCH] fix warning, erase type

---
 java/src/processing/mode/java/JavaEditor.java | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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<AvailableContribution> getNotInstalledAvailableLibs(ArrayList<String> importHeadersList) {
+  private List<AvailableContribution> getNotInstalledAvailableLibs(List<String> importHeadersList) {
     Map<String, Contribution> importMap =
       ContributionListing.getInstance().getLibrariesByImportHeader();
     List<AvailableContribution> libList = new ArrayList<>();