Buggy code:
public class VireoSpringBanner implements Banner { private static final String [ ] BANNER = new String [ ] { "" , "<seq2seq4repair_space>" , "___<seq2seq4repair_space>___<seq2seq4repair_space>___<seq2seq4repair_space>________<seq2seq4repair_space>_______<seq2seq4repair_space>________<seq2seq4repair_space>" , "|\\<seq2seq4repair_space>\\<seq2seq4repair_space>//<seq2seq4repair_space>//||\\<seq2seq4repair_space>\\<seq2seq4repair_space>|\\<seq2seq4repair_space>__<seq2seq4repair_space>\\<seq2seq4repair_space>|\\<seq2seq4repair_space>___<seq2seq4repair_space>\\<seq2seq4repair_space>|\\<seq2seq4repair_space>__<seq2seq4repair_space>\\<seq2seq4repair_space>" , "\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\<seq2seq4repair_space>//<seq2seq4repair_space>//<seq2seq4repair_space>//\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\|\\<seq2seq4repair_space>\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>__//|<seq2seq4repair_space>\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\|\\<seq2seq4repair_space>\\<seq2seq4repair_space>" , "<seq2seq4repair_space>\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\//<seq2seq4repair_space>//<seq2seq4repair_space>//<seq2seq4repair_space>\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>_<seq2seq4repair_space>_\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\_|//__\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>" , "<seq2seq4repair_space>\\<seq2seq4repair_space>\\<seq2seq4repair_space>//<seq2seq4repair_space>//<seq2seq4repair_space>\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\\\<seq2seq4repair_space>\\|\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\_|\\<seq2seq4repair_space>\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\\\\\<seq2seq4repair_space>\\<seq2seq4repair_space>" , "<seq2seq4repair_space>\\<seq2seq4repair_space>\\__//<seq2seq4repair_space>//<seq2seq4repair_space>\\<seq2seq4repair_space>\\__\\\\<seq2seq4repair_space>\\__\\\\<seq2seq4repair_space>_\\<seq2seq4repair_space>\\<seq2seq4repair_space>\\_______\\\\<seq2seq4repair_space>\\_______\\" , "<seq2seq4repair_space>\\|__|//<seq2seq4repair_space>\\|__|<seq2seq4repair_space>\\|__|\\|__|<seq2seq4repair_space>\\|_______|<seq2seq4repair_space>\\|_______|" , "<seq2seq4repair_space>" } ; private static final String VIREO_BOOT = "<seq2seq4repair_space>::<seq2seq4repair_space>01010110<seq2seq4repair_space>01101001<seq2seq4repair_space>01110010<seq2seq4repair_space>01100101<seq2seq4repair_space>01101111<seq2seq4repair_space>::<seq2seq4repair_space>" ; private static final int STRAP_LINE_SIZE = 42 ; @ SuppressWarnings ( "deprecation" ) @ Override public void printBanner ( Environment environment , Class < ? > sourceClass , PrintStream out ) { for ( String line : VireoSpringBanner . BANNER ) { out . println ( line ) ; } String version = this . getClass ( ) . getPackage ( ) . getImplementationVersion ( ) ; version = environment . getProperty ( "info.build.version" ) ; <START_BUG> if ( version == null ) { <END_BUG> Manifest manifest = VireoSpringBanner . getManifest ( this . getClass ( ) ) ; version = manifest . getMainAttributes ( ) . getValue ( "Implementation-Version" ) ; } version = ( version == null ) ? "" : ( "<seq2seq4repair_space>(v" + version ) + ")" ; String padding = "" ; while ( ( padding . length ( ) ) < ( ( VireoSpringBanner . STRAP_LINE_SIZE ) - ( ( version . length ( ) ) + ( VireoSpringBanner . VIREO_BOOT . length ( ) ) ) ) ) { padding += "<seq2seq4repair_space>" ; } out . println ( AnsiOutput . toString ( GREEN , VireoSpringBanner . VIREO_BOOT , DEFAULT , padding , FAINT , version ) ) ; out . println ( ) ; } private static Manifest getManifest ( Class < ? > clz ) { } }

Fix:
if ( ( version == null ) || ( version . equals ( "@project.version@" ) ) ) {