jEdit - linked to "resource limits" or "java