I'll check. I just followed the "original" java doc.