code: public WorkbenchEntry getWorkbenchEntry(final byte[] address) {
  		WorkbenchEntry workbenchEntry;
  		synchronized (address2WorkbenchEntry) {
  			workbenchEntry = address2WorkbenchEntry.get(address);
  			if (workbenchEntry == null) address2WorkbenchEntry.add(workbenchEntry = new WorkbenchEntry(address, broken));
  		}
  		return workbenchEntry;
  	}
docs: Returns a workbench entry for the given address, possibly creating one. The entry may or may not be on the {@link Workbench}
  currently.
  
  @param address an IP address in byte-array form.
  @return a workbench entry for {@code address} (possibly a new one).