Numerology and the new Java logo