private void getFilteredDiffDetails(Address p1Address) {
		plugin.addFilteredDiffDetails(p1Address, plugin.getDiffController().getDiffFilter(), doc);
		textPane.setCaretPosition(0);
	}
Gets the Diff Details at the indicated address
@param p1Address the program1 address
@throws ConcurrentModificationException if analysis is modifying the program.
Ghidra/Features/ProgramDiff/src/main/java/ghidra/app/plugin/core/diff/DiffDetailsProvider.java