javaString: binary version bump