Recent changes to 12: Nomenclature error in DisplayPictureDuelManager.javahttps://sourceforge.net/p/java-jml/bugs/12/Recent changes to 12: Nomenclature error in DisplayPictureDuelManager.javaenFri, 21 Sep 2007 15:38:12 -0000Nomenclature error in DisplayPictureDuelManager.javahttps://sourceforge.net/p/java-jml/bugs/12/<div class="markdown_content"><p>It's not really a bug, but it could cause confussion since the name of the methods are not correctly spelled.</p> <p>Picture should be renamed to Picture.</p> <p>69 public MsnObject getDisplayPicutre() {<br /> 70 return displayPicture;<br /> 71 }<br /> 72 <br /> 73 public void setDisplayPicutre(MsnObject displayPicutre) {<br /> 74 this.displayPicture = displayPicutre;<br /> 75 }</p></div>JaviFri, 21 Sep 2007 15:38:12 -0000https://sourceforge.net010c1658ed61c0612d524ff9bb19ac58a7e6497f