public static String replaceFirstCharacterWithString(String string, String newprefix) {
    return (Native.stringConcatenate(newprefix, Native.string_subsequence(string, 1, Stella.NULL_INTEGER)));
  }