Description
In Procedure#toStringDetails() :
if (stackIndexes != null) { sb.append("\n"); sb.append("stackIndexes="); sb.append(Arrays.toString(getStackIndexes())); }
The access is not protected by synchronized keyword whereas access to stackIndexes is protected in all other methods.
Note: getStackIndexes() has proper protection.