Merge pull request #379 from apache/geertjanw-patch-13

More java editor enhancements for 11.1 features page