import java

private string getArgument(Compilation c, int i) {
  exists(string arg | arg = c.getArgument(i) |
    if exists(arg.indexOf("-Xplugin="))
    then result = "<PLUGINS>"
    else
      if c.getArgument(i - 1) = ["-classpath", "-jdk-home"]
      then result = "<PATH>"
      else result = arg
  )
}

from Compilation c, int i
select i, getArgument(c, i).replaceAll("\\", "/")