Make the java-api compatible with Java 1.5

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Install JRE/etc 1.5
2. make java

What is the expected output? What do you see instead?

Compilation should succeed, but instead fails since the method String::isEmpty 
is only available 
in Java 1.6

What version of the product are you using? On what operating system?

r549. Linux. Java 1.5

Please provide any additional information below.

Patch attached.

Original issue reported on code.google.com by natalija...@gmail.com on 4 Feb 2010 at 3:37

Attachments:

• scalaris-java-string-method-1-5.patch

[GoogleCodeExporter]

thanks for the report and patch which I applied in rev550

Original comment by nico.kru...@googlemail.com on 5 Feb 2010 at 9:36

• Changed state: Fixed