spelling: maintaining

Signed-off-by: Josh Soref <[email protected]>

Author: jsoref

gsoc/2014.md

@@ -57,7 +57,7 @@ optimality.
 
 In the context of the Java Virtual Machine, [miniboxing][mb1] is a new
 translation that sidesteps the shortcomings of previous approaches,
-while maintaing the optimality of the low level non-uniform code. It
+while maintaining the optimality of the low level non-uniform code. It
 builds on the specialization transformation, which is already included
 in the [Scala compiler][mb2], but produces too much bytecode to be
 useful in practical applications. Although miniboxing is developed for