Compatibility to Java 5 (String.isEmpty())