Polishing java doc