/** Removes time and author's name *@paramresult *@return *
*/ publicstatic String unify(String result) { int left=result.indexOf("* Created on"); int right; if (left>=0) {
right=result.indexOf('\n',left);
result=result.substring(0,left+"* Created on".length())+result.substring(right);
}
if (left>=0) {
left=result.indexOf("@author");
right=result.indexOf('\n',left);
result=result.substring(0,left+"@author".length())+result.substring(right);
} return result;
}
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.9Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.