original java source