diff --git a/docs/manual/develop.html b/docs/manual/develop.html index ebc82ca06..7439ad2d9 100644 --- a/docs/manual/develop.html +++ b/docs/manual/develop.html @@ -210,7 +210,7 @@ the implementation of your Java virtual machine.
public void add(Type type)
public void addConfigured(Type type)