src/main/java/logic/is/power/tptp_parser/SimpleTptpParserOutput.java
/** Returns the copy of <strong> str </strong> stored in _stringTable;
  *  the copy is created if necessary.
  */
Returns the copy of  str  stored in _stringTable;
the copy is created if necessary.
Returns the copy of str stored in _stringTable ; the copy is created if necessary .
private String sharedCopyOf(String str) {
    assert str != null;
    String res = _stringTable.get(str);
    if (res == null) {
      _stringTable.put(str,str);
      return str;
    }
    else
      return res;
  }
private String sharedCopyOf ( String str ) { assert str != null ; String res = _stringTable . get ( str ) ; if ( res == null ) { _stringTable . put ( str , str ) ; return str ; } else return res ; }
Returns the copy of <strong> str </strong> stored in _stringTable;
  the copy is created if necessary.
Returns the copy of <strong > str < / strong > stored in _stringTable ; the copy is created if necessary .