doc and javapuzzlers