A Java image editor