tree 305650db4b4dfb93af6db194ed69126ad7c412c6
parent 88f0227336e0f65807d2bab54e96b8c3fb27ca16
author Nick Sandonato <nsandona@us.ibm.com> 1395080904 -0400
committer Nick Sandonato <nsandona@us.ibm.com> 1396985589 -0400

[430312] If two highlighters always report same Position they are interchangeably used