fix error in developer code

Peter Hormanns

2012-07-19 ae8b6b89655d05fde0416d3e4ae7405a26e5cdfd

fix error in developer code

 hsarback/test/de/hsadmin/remote/RemoteCASHelper.java

@@ -52,7 +52,7 @@
    }

    public String getServiceTicket(String location, String service) {
        if (location.startsWith("granting:")) {
        if (location != null && location.startsWith("granting:")) {
            return "user:" + location.substring(9);
        }
        try {