Category:Text editors programmed in Java