nus-yam/ex-repair huggingface dataset:
Buggy code:
public class PreviousMessageAction extends AbstractColumbaAction implements SelectionListener { public PreviousMessageAction ( FrameMediator frameMediator ) { } public void actionPerformed ( ActionEvent evt ) { <START_BUG> FolderCommandReference [ ] r = ( ( org . columba . mail . gui . frame . MailFrameMediator ) ( getFrameMediator ( ) ) ) . getTableSelection ( ) ; <END_BUG> } public void selectionChanged ( SelectionChangedEvent e ) { } }

Fix:
FolderCommandReference r = ( ( org . columba . mail . gui . frame . MailFrameMediator ) ( getFrameMediator ( ) ) ) . getTableSelection ( ) ;
Buggy code:
public abstract class MetaDataKey implements Serializable { private static final long serialVersionUID = 1L ; private Class type ; public MetaDataKey ( final Class type ) { } public boolean equals ( Object obj ) { } Serializable get ( MetaDataEntry [ ] metaData ) { } MetaDataEntry [ ] set ( MetaDataEntry [ ] metaData , final Serializable object ) { } void checkType ( final Object object ) { <START_BUG> if ( ( object != null ) && ( ( object . getClass ( ) ) != ( type ) ) ) { <END_BUG> throw new IllegalArgumentException ( ( ( ( ( ( "MetaDataKey<seq2seq4repair_space>" + ( getClass ( ) ) ) + "<seq2seq4repair_space>requires<seq2seq4repair_space>argument<seq2seq4repair_space>of<seq2seq4repair_space>" ) + ( type ) ) + ",<seq2seq4repair_space>not<seq2seq4repair_space>" ) + ( object . getClass ( ) ) ) ) ; } } }

Fix:
if ( ( object != null ) && ( type . isAssignableFrom ( object . getClass ( ) ) ) ) {
Buggy code:
public class SizeTieredCompactionStrategy extends AbstractCompactionStrategy { private static final Logger logger = LoggerFactory . getLogger ( SizeTieredCompactionStrategy . class ) ; protected static final long DEFAULT_MIN_SSTABLE_SIZE = ( 50L * 1024L ) * 1024L ; protected static final String MIN_SSTABLE_SIZE_KEY = "min_sstable_size" ; protected static long minSSTableSize ; protected volatile int estimatedRemainingTasks ; public SizeTieredCompactionStrategy ( ColumnFamilyStore cfs , Map < String , String > options ) { } public List < AbstractCompactionTask > getBackgroundTasks ( final int gcBefore ) { } public List < AbstractCompactionTask > getMaximalTasks ( final int gcBefore ) { } public AbstractCompactionTask getUserDefinedTask ( Collection < SSTableReader > sstables , final int gcBefore ) { } public int getEstimatedRemainingTasks ( ) { } private static List < Pair < SSTableReader , Long > > createSSTableAndLengthPairs ( Collection < SSTableReader > collection ) { List < Pair < SSTableReader , Long > > tableLengthPairs = new ArrayList < Pair < SSTableReader , Long > > ( ) ; for ( SSTableReader table : collection ) <START_BUG> tableLengthPairs . add ( new Pair < SSTableReader , Long > ( table , table . length ( ) ) ) ; <END_BUG> return tableLengthPairs ; } static < T > List < List < T > > getBuckets ( Collection < Pair < T , Long > > files , long minSSTableSize ) { } private void updateEstimatedCompactionsByTasks ( List < AbstractCompactionTask > tasks ) { } public long getMinSSTableSize ( ) { } public long getMaxSSTableSize ( ) { } public boolean isKeyExistenceExpensive ( Set < ? extends SSTable > sstablesToIgnore ) { } public String toString ( ) { } }

Fix:
tableLengthPairs . add ( new Pair < SSTableReader , Long > ( table , table . onDiskLength ( ) ) ) ;
Buggy code:
public class War extends Jar { private File deploymentDescriptor ; private boolean needxmlfile = true ; private File addedWebXmlFile ; private static final FileUtils FILE_UTILS = FileUtils . getFileUtils ( ) ; private static final String XML_DESCRIPTOR_PATH = "WEB-INF//web.xml" ; private static final String XML_DESCRIPTOR_PATH_LC = War . XML_DESCRIPTOR_PATH . toLowerCase ( Locale . ENGLISH ) ; public War ( ) { } public void setWarfile ( File warFile ) { } public void setWebxml ( File descr ) { } public void setNeedxmlfile ( boolean needxmlfile ) { } public void addLib ( ZipFileSet fs ) { } public void addClasses ( ZipFileSet fs ) { } public void addWebinf ( ZipFileSet fs ) { } protected void initZipOutputStream ( ZipOutputStream zOut ) throws IOException , BuildException { } protected void zipFile ( File file , ZipOutputStream zOut , String vPath , int mode ) throws IOException { String vPathLowerCase = vPath . toLowerCase ( Locale . ENGLISH ) ; boolean addFile = true ; if ( War . XML_DESCRIPTOR_PATH_LC . equals ( vPathLowerCase ) ) { if ( ( addedWebXmlFile ) != null ) { addFile = false ; if ( ! ( War . FILE_UTILS . fileNameEquals ( addedWebXmlFile , file ) ) ) { <START_BUG> logOnFirstPass ( ( ( ( ( ( ( ( ( ( "Warning:<seq2seq4repair_space>selected<seq2seq4repair_space>" + ( archiveType ) ) + "<seq2seq4repair_space>files<seq2seq4repair_space>include<seq2seq4repair_space>a<seq2seq4repair_space>second<seq2seq4repair_space>" ) + ( War . XML_DESCRIPTOR_PATH ) ) + "<seq2seq4repair_space>which<seq2seq4repair_space>will<seq2seq4repair_space>be<seq2seq4repair_space>ignored.\n" ) + "The<seq2seq4repair_space>duplicate<seq2seq4repair_space>entry<seq2seq4repair_space>is<seq2seq4repair_space>at<seq2seq4repair_space>" ) + file ) + '\n' ) + "The<seq2seq4repair_space>file<seq2seq4repair_space>that<seq2seq4repair_space>will<seq2seq4repair_space>be<seq2seq4repair_space>used<seq2seq4repair_space>is<seq2seq4repair_space>" ) + ( addedWebXmlFile ) ) , MSG_WARN ) ; <END_BUG> } } else { addedWebXmlFile = file ; addFile = true ; deploymentDescriptor = file ; } } if ( addFile ) { super . zipFile ( file , zOut , vPath , mode ) ; } } protected void cleanUp ( ) { } }

Fix:
logWhenWriting ( ( ( ( ( ( ( ( ( ( "Warning:<seq2seq4repair_space>selected<seq2seq4repair_space>" + ( archiveType ) ) + "<seq2seq4repair_space>files<seq2seq4repair_space>include<seq2seq4repair_space>a<seq2seq4repair_space>second<seq2seq4repair_space>" ) + ( War . XML_DESCRIPTOR_PATH ) ) + "<seq2seq4repair_space>which<seq2seq4repair_space>will<seq2seq4repair_space>be<seq2seq4repair_space>ignored.\n" ) + "The<seq2seq4repair_space>duplicate<seq2seq4repair_space>entry<seq2seq4repair_space>is<seq2seq4repair_space>at<seq2seq4repair_space>" ) + file ) + '\n' ) + "The<seq2seq4repair_space>file<seq2seq4repair_space>that<seq2seq4repair_space>will<seq2seq4repair_space>be<seq2seq4repair_space>used<seq2seq4repair_space>is<seq2seq4repair_space>" ) + ( addedWebXmlFile ) ) , MSG_WARN ) ;
Buggy code:
public class MissionSurveyFragment extends MissionDetailFragment implements Drone . OnMissionItemsBuiltCallback , CardWheelHorizontalView . OnCardWheelScrollListener , SpinnerSelfSelect . OnSpinnerItemSelectedListener { private static final String TAG = MissionSurveyFragment . class . getSimpleName ( ) ; private static final IntentFilter eventFilter = new IntentFilter ( MissionProxy . ACTION_MISSION_PROXY_UPDATE ) ; private final BroadcastReceiver eventReceiver = new BroadcastReceiver ( ) { @ Override public void onReceive ( Context context , Intent intent ) { } } ; private CardWheelHorizontalView < Integer > mOverlapPicker ; private CardWheelHorizontalView < Integer > mAnglePicker ; private CardWheelHorizontalView < LengthUnit > mAltitudePicker ; private CardWheelHorizontalView < Integer > mSidelapPicker ; public TextView distanceBetweenLinesTextView ; public TextView areaTextView ; public TextView distanceTextView ; public TextView footprintTextView ; public TextView groundResolutionTextView ; public TextView numberOfPicturesView ; public TextView numberOfStripsView ; public TextView lengthView ; private CamerasAdapter cameraAdapter ; private SpinnerSelfSelect cameraSpinner ; @ Override protected int getResource ( ) { } @ Override protected List < Survey > getMissionItems ( ) { } @ Override public void onApiConnected ( ) { } @ Override public void onApiDisconnected ( ) { } @ Override public void onSpinnerItemSelected ( Spinner spinner , int position ) { } @ Override public void onScrollingStarted ( CardWheelHorizontalView cardWheel , Object startValue ) { } @ Override public void onScrollingUpdate ( CardWheelHorizontalView cardWheel , Object oldValue , Object newValue ) { } @ Override public void onScrollingEnded ( CardWheelHorizontalView cardWheel , Object startValue , Object endValue ) { } private void checkIfValid ( Survey survey ) { } private void updateViews ( ) { <START_BUG> if ( isDetached ( ) ) <END_BUG> return ; updateTextViews ( ) ; updateSeekBars ( ) ; } private void updateCamera ( ) { } private void updateSeekBars ( ) { } private void updateTextViews ( ) { } @ Override public void onMissionItemsBuilt ( MissionItem [ ] complexItems ) { } }

Fix:
if ( ( getActivity ( ) ) == null )
Buggy code:
public class ResolvedPointcutDefinition extends ResolvedMemberImpl { private Pointcut pointcut ; public ResolvedPointcutDefinition ( UnresolvedType declaringType , int modifiers , String name , UnresolvedType [ ] parameterTypes , Pointcut pointcut ) { } public ResolvedPointcutDefinition ( UnresolvedType declaringType , int modifiers , String name , UnresolvedType [ ] parameterTypes , UnresolvedType returnType , Pointcut pointcut ) { } public void write ( DataOutputStream s ) throws IOException { } public static ResolvedPointcutDefinition read ( VersionedDataInputStream s , ISourceContext context ) throws IOException { } public String toString ( ) { } public Pointcut getPointcut ( ) { } public boolean isAjSynthetic ( ) { } public ResolvedMemberImpl parameterizedWith ( UnresolvedType [ ] typeParameters , ResolvedType newDeclaringType , boolean isParameterized ) { TypeVariable [ ] typeVariables = getDeclaringType ( ) . resolve ( newDeclaringType . getWorld ( ) ) . getTypeVariables ( ) ; if ( isParameterized && ( ( typeVariables . length ) != ( typeParameters . length ) ) ) { throw new IllegalStateException ( "Wrong<seq2seq4repair_space>number<seq2seq4repair_space>of<seq2seq4repair_space>type<seq2seq4repair_space>parameters<seq2seq4repair_space>supplied" ) ; } Map typeMap = new HashMap ( ) ; boolean typeParametersSupplied = ( typeParameters != null ) && ( ( typeParameters . length ) > 0 ) ; if ( typeVariables != null ) { for ( int i = 0 ; i < ( typeVariables . length ) ; i ++ ) { UnresolvedType ut = ( ! typeParametersSupplied ) ? typeVariables [ i ] . getFirstBound ( ) : typeParameters [ i ] ; typeMap . put ( typeVariables [ i ] . getName ( ) , ut ) ; } } UnresolvedType parameterizedReturnType = parameterize ( getGenericReturnType ( ) , typeMap , isParameterized ) ; UnresolvedType [ ] parameterizedParameterTypes = new UnresolvedType [ getGenericParameterTypes ( ) . length ] ; for ( int i = 0 ; i < ( parameterizedParameterTypes . length ) ; i ++ ) { parameterizedParameterTypes [ i ] = parameterize ( getGenericParameterTypes ( ) [ i ] , typeMap , isParameterized ) ; } <START_BUG> ResolvedPointcutDefinition ret = new ResolvedPointcutDefinition ( newDeclaringType , getModifiers ( ) , getName ( ) , parameterizedParameterTypes , parameterizedReturnType , pointcut . parameterizeWith ( typeMap ) ) ; <END_BUG> ret . setTypeVariables ( getTypeVariables ( ) ) ; ret . setSourceContext ( getSourceContext ( ) ) ; ret . setPosition ( getStart ( ) , getEnd ( ) ) ; ret . setParameterNames ( getParameterNames ( ) ) ; return ret ; } public static final ResolvedPointcutDefinition DUMMY = new ResolvedPointcutDefinition ( UnresolvedType . OBJECT , 0 , "missing" , UnresolvedType . NONE , Pointcut . makeMatchesNothing ( RESOLVED ) ) ; public void setPointcut ( Pointcut pointcut ) { } }

Fix:
ResolvedPointcutDefinition ret = new ResolvedPointcutDefinition ( newDeclaringType , getModifiers ( ) , getName ( ) , parameterizedParameterTypes , parameterizedReturnType , pointcut . parameterizeWith ( typeMap , newDeclaringType . getWorld ( ) ) ) ;
Buggy code:
public class Export extends ExportAbstract { private String outputFileName ; private String lobsFileName ; private void doExport ( ) throws SQLException { try { if ( ( ( entityName ) == null ) && ( ( selectStatement ) == null ) ) throw LoadError . entityNameMissing ( ) ; if ( ( outputFileName ) == null ) throw LoadError . dataFileNull ( ) ; try { doAllTheWork ( ) ; } catch ( IOException iex ) { <START_BUG> throw LoadError . errorWritingData ( ) ; <END_BUG> } } catch ( Exception ex ) { throw LoadError . unexpectedError ( ex ) ; } } private Export ( Connection con , String schemaName , String tableName , String selectStatement , String outputFileName , String characterDelimeter , String columnDelimeter , String codeset ) throws SQLException { } private void setLobsExtFileName ( String lobsFileName ) throws SQLException { } public static void exportTable ( Connection con , String schemaName , String tableName , String outputFileName , String columnDelimeter , String characterDelimeter , String codeset ) throws SQLException { } public static void exportTable ( Connection con , String schemaName , String tableName , String outputFileName , String columnDelimeter , String characterDelimeter , String codeset , String lobsFileName ) throws SQLException { } public static void exportQuery ( Connection con , String selectStatement , String outputFileName , String columnDelimeter , String characterDelimeter , String codeset ) throws SQLException { } public static void exportQuery ( Connection con , String selectStatement , String outputFileName , String columnDelimeter , String characterDelimeter , String codeset , String lobsFileName ) throws SQLException { } protected ExportWriteDataAbstract getExportWriteData ( ) throws Exception { } }

Fix:
throw LoadError . errorWritingData ( iex ) ;
Buggy code:
public class NXTRecord extends Record { private Name next ; private BitSet bitmap ; private NXTRecord ( ) { } public NXTRecord ( Name _name , short _dclass , int _ttl , Name _next , BitSet _bitmap ) { } NXTRecord ( Name _name , short _dclass , int _ttl , int length , DataByteInputStream in ) throws IOException { } NXTRecord ( Name _name , short _dclass , int _ttl , MyStringTokenizer st , Name origin ) throws IOException { } public String rdataToString ( ) { StringBuffer sb = new StringBuffer ( ) ; if ( ( next ) != null ) { sb . append ( next ) ; int length = BitSetLength ( bitmap ) ; <START_BUG> for ( int i = 0 ; i < length ; i ++ ) <END_BUG> if ( bitmap . get ( i ) ) { sb . append ( "<seq2seq4repair_space>" ) ; sb . append ( Type . string ( i ) ) ; } } return sb . toString ( ) ; } public Name getNext ( ) { } public BitSet getBitmap ( ) { } void rrToWire ( DataByteOutputStream out , Compression c ) throws IOException { } void rrToWireCanonical ( DataByteOutputStream out ) throws IOException { } private int BitSetLength ( BitSet b ) { } }

Fix:
for ( short i = 0 ; i < length ; i ++ )
Buggy code:
class XSDSimpleTypeTraverser extends XSDAbstractTraverser { private final SchemaDVFactory schemaFactory = SchemaDVFactory . getInstance ( ) ; private boolean fIsBuiltIn = false ; XSDSimpleTypeTraverser ( XSDHandler handler , XSAttributeChecker gAttrCheck ) { } XSSimpleType traverseGlobal ( Element elmNode , XSDocumentInfo schemaDoc , SchemaGrammar grammar ) { Object [ ] attrValues = fAttrChecker . checkAttributes ( elmNode , true , schemaDoc ) ; String nameAtt = ( ( String ) ( attrValues [ XSAttributeChecker . ATTIDX_NAME ] ) ) ; XSSimpleType type = traverseSimpleTypeDecl ( elmNode , attrValues , schemaDoc , grammar ) ; fAttrChecker . returnAttrArray ( attrValues , schemaDoc ) ; if ( nameAtt == null ) { reportSchemaError ( "s4s-att-must-appear" , new Object [ ] { SchemaSymbols . ELT_SIMPLETYPE , SchemaSymbols . ATT_NAME } , elmNode ) ; type = null ; } if ( type != null ) { <START_BUG> grammar . addGlobalTypeDecl ( type ) ; <END_BUG> } return type ; } XSSimpleType traverseLocal ( Element elmNode , XSDocumentInfo schemaDoc , SchemaGrammar grammar ) { } private XSSimpleType traverseSimpleTypeDecl ( Element simpleTypeDecl , Object [ ] attrValues , XSDocumentInfo schemaDoc , SchemaGrammar grammar ) { } private String genAnonTypeName ( Element simpleTypeDecl ) { } private XSSimpleType getSimpleType ( String name , Element simpleTypeDecl , Object [ ] attrValues , XSDocumentInfo schemaDoc , SchemaGrammar grammar ) { } private XSSimpleType findDTValidator ( Element elm , String refName , QName baseTypeStr , short baseRefContext , XSDocumentInfo schemaDoc ) { } private final boolean checkBuiltIn ( String name , String namespace ) { } private boolean isListDatatype ( XSSimpleType validator ) { } private XSSimpleType errorType ( String name , String namespace , short refType ) { } }

Fix:
grammar . addGlobalSimpleTypeDecl ( type ) ;
Buggy code:
public class BasicCompilationUnit implements ICompilationUnit { protected char [ ] contents ; protected char [ ] fileName ; protected char [ ] [ ] packageName ; protected char [ ] mainTypeName ; protected String encoding ; public BasicCompilationUnit ( char [ ] contents , char [ ] [ ] packageName , String fileName ) { } public BasicCompilationUnit ( char [ ] contents , char [ ] [ ] packageName , String fileName , String encoding ) { } public BasicCompilationUnit ( char [ ] contents , char [ ] [ ] packageName , String fileName , IJavaElement javaElement ) { } private void initEncoding ( IJavaElement javaElement ) { } public char [ ] getContents ( ) { } public char [ ] getFileName ( ) { } public char [ ] getMainTypeName ( ) { if ( ( this . mainTypeName ) == null ) { int start = ( CharOperation . lastIndexOf ( '//' , this . fileName ) ) + 1 ; if ( ( start == 0 ) || ( start < ( CharOperation . lastIndexOf ( '\\' , this . fileName ) ) ) ) start = ( CharOperation . lastIndexOf ( '\\' , this . fileName ) ) + 1 ; int separator = ( CharOperation . indexOf ( '|' , this . fileName ) ) + 1 ; if ( separator > start ) start = separator ; int end = CharOperation . lastIndexOf ( '$' , this . fileName ) ; <START_BUG> if ( end == ( - 1 ) ) { <END_BUG> end = CharOperation . lastIndexOf ( '.' , this . fileName ) ; if ( end == ( - 1 ) ) end = this . fileName . length ; } this . mainTypeName = CharOperation . subarray ( this . fileName , start , end ) ; } return this . mainTypeName ; } public char [ ] [ ] getPackageName ( ) { } public String toString ( ) { } }

Fix:
if ( ( end == ( - 1 ) ) || ( ! ( Util . isClassFileName ( this . fileName ) ) ) ) {
Buggy code:
public class MobileDeviceManagementDAOUtil { private static final Log log = LogFactory . getLog ( MobileDeviceManagementDAOUtil . class ) ; public static DataSource resolveDataSource ( MobileDataSourceConfig config ) throws DeviceManagementException { DataSource dataSource = null ; if ( config == null ) { throw new RuntimeException ( ( "Device<seq2seq4repair_space>Management<seq2seq4repair_space>Repository<seq2seq4repair_space>data<seq2seq4repair_space>source<seq2seq4repair_space>configuration<seq2seq4repair_space>" + "is<seq2seq4repair_space>null<seq2seq4repair_space>and<seq2seq4repair_space>thus,<seq2seq4repair_space>is<seq2seq4repair_space>not<seq2seq4repair_space>initialized" ) ) ; } <START_BUG> JNDILookupDefinition jndiConfig = config . getJndiLookupDefintion ( ) ; <END_BUG> if ( jndiConfig != null ) { if ( MobileDeviceManagementDAOUtil . log . isDebugEnabled ( ) ) { MobileDeviceManagementDAOUtil . log . debug ( ( "Initializing<seq2seq4repair_space>Device<seq2seq4repair_space>Management<seq2seq4repair_space>Repository<seq2seq4repair_space>data<seq2seq4repair_space>source<seq2seq4repair_space>using<seq2seq4repair_space>the<seq2seq4repair_space>JNDI<seq2seq4repair_space>" + "Lookup<seq2seq4repair_space>Definition" ) ) ; } List < JNDILookupDefinition . JNDIProperty > jndiPropertyList = jndiConfig . getJndiProperties ( ) ; if ( jndiPropertyList != null ) { Hashtable < Object , Object > jndiProperties = new Hashtable < Object , Object > ( ) ; for ( JNDILookupDefinition . JNDIProperty prop : jndiPropertyList ) { jndiProperties . put ( prop . getName ( ) , prop . getValue ( ) ) ; } dataSource = MobileDeviceManagementDAOUtil . lookupDataSource ( jndiConfig . getJndiName ( ) , jndiProperties ) ; } else { dataSource = MobileDeviceManagementDAOUtil . lookupDataSource ( jndiConfig . getJndiName ( ) , null ) ; } } return dataSource ; } public static DataSource lookupDataSource ( String dataSourceName , final Hashtable < Object , Object > jndiProperties ) throws DeviceManagementException { } public static void cleanupResources ( Connection conn , PreparedStatement stmt , ResultSet rs ) { } public static void createDataSource ( DataSource dataSource ) { } public static void setupMobileDeviceManagementSchema ( DataSource dataSource ) throws DeviceManagementException { } }

Fix:
JNDILookupDefinition jndiConfig = config . getJndiLookupDefinition ( ) ;
Buggy code:
public class QueuelessThreadPoolService implements Service < ExecutorService > { private final InjectedValue < ThreadFactory > threadFactoryValue = new InjectedValue < ThreadFactory > ( ) ; private final InjectedValue < Executor > handoffExecutorValue = new InjectedValue < Executor > ( ) ; private QueuelessExecutor executor ; private ExecutorService value ; private int maxThreads ; private boolean blocking ; private TimeSpec keepAlive ; public QueuelessThreadPoolService ( int maxThreads , boolean blocking , TimeSpec keepAlive ) { } public synchronized void start ( final StartContext context ) throws StartException { final TimeSpec keepAliveSpec = keepAlive ; <START_BUG> long keepAlive = ( keepAliveSpec == null ) ? Long . MAX_VALUE : keepAliveSpec . getDuration ( ) ; <END_BUG> executor = new QueuelessExecutor ( threadFactoryValue . getValue ( ) , JBossExecutors . directExecutor ( ) , handoffExecutorValue . getOptionalValue ( ) , keepAlive ) ; executor . setMaxThreads ( maxThreads ) ; executor . setBlocking ( blocking ) ; value = JBossExecutors . protectedExecutorService ( executor ) ; } public synchronized void stop ( final StopContext context ) { } public synchronized ExecutorService getValue ( ) throws IllegalStateException { } public Injector < ThreadFactory > getThreadFactoryInjector ( ) { } public Injector < Executor > getHandoffExecutorInjector ( ) { } public synchronized void setMaxThreads ( int maxThreads ) { } public synchronized void setBlocking ( boolean blocking ) { } public synchronized void setKeepAlive ( TimeSpec keepAliveSpec ) { } }

Fix:
long keepAlive = ( keepAliveSpec == null ) ? Long . MAX_VALUE : keepAliveSpec . getUnit ( ) . toMillis ( keepAliveSpec . getDuration ( ) ) ;
Buggy code:
public class PCClassFileTransformer implements ClassFileTransformer { private static final Localizer _loc = Localizer . forPackage ( PCClassFileTransformer . class ) ; private final MetaDataRepository _repos ; private final Flags _flags ; private final ClassLoader _tmpLoader ; private final Log _log ; private final Set _names ; private boolean _transforming = false ; public PCClassFileTransformer ( MetaDataRepository repos , Options opts , ClassLoader loader ) { } private static Flags toFlags ( Options opts ) { } public PCClassFileTransformer ( MetaDataRepository repos , PCEnhancer . Flags flags , ClassLoader tmpLoader , boolean devscan ) { } public byte [ ] transform ( ClassLoader loader , String className , Class redef , ProtectionDomain domain , byte [ ] bytes ) throws IllegalClassFormatException { } private Boolean needsEnhance ( String clsName , Class redef , byte [ ] bytes ) { if ( redef != null ) { Class [ ] intfs = redef . getInterfaces ( ) ; for ( int i = 0 ; i < ( intfs . length ) ; i ++ ) if ( PersistenceCapable . class . getName ( ) . equals ( intfs [ i ] . getName ( ) ) ) return Boolean . valueOf ( ( ! ( PCClassFileTransformer . isEnhanced ( bytes ) ) ) ) ; return null ; } if ( ( _names ) != null ) { if ( _names . contains ( clsName . replace ( '//' , '.' ) ) ) return Boolean . valueOf ( ( ! ( PCClassFileTransformer . isEnhanced ( bytes ) ) ) ) ; return null ; } if ( ( clsName . startsWith ( "java//" ) ) || ( clsName . startsWith ( "javax//" ) ) ) return null ; if ( PCClassFileTransformer . isEnhanced ( bytes ) ) return Boolean . FALSE ; try { Class c = Class . forName ( clsName . replace ( '//' , '.' ) , false , _tmpLoader ) ; if ( ( _repos . getMetaData ( c , null , false ) ) != null ) return Boolean . TRUE ; return null ; } catch ( ClassNotFoundException cnfe ) { return Boolean . FALSE ; <START_BUG> } catch ( ClassCircularityError cce ) { <END_BUG> return Boolean . FALSE ; } catch ( RuntimeException re ) { throw re ; } catch ( Throwable t ) { throw new GeneralException ( t ) ; } } private static boolean isEnhanced ( byte [ ] b ) { } }

Fix:
} catch ( LinkageError cce ) {
Buggy code:
abstract class AbstractFileTask extends AbstractPatchingTask < MiscContentItem > { final File target ; final File backup ; protected AbstractFileTask ( PatchingTaskDescription description , File target , File backup ) { } abstract ContentModification createRollbackEntry ( ContentModification original , MiscContentItem item , byte [ ] targetHash ) { } @ Override byte [ ] backup ( PatchingTaskContext context ) throws IOException { } @ Override byte [ ] apply ( PatchingTaskContext context , PatchContentLoader loader ) throws IOException { final MiscContentItem item = contentItem ; if ( item . isDirectory ( ) ) { <START_BUG> if ( ( ! ( target . mkdir ( ) ) ) && ( ! ( target . isDirectory ( ) ) ) ) { <END_BUG> throw MESSAGES . cannotCreateDirectory ( target . getAbsolutePath ( ) ) ; } return IoUtils . NO_CONTENT ; } else { if ( ! ( target . exists ( ) ) ) { AbstractFileTask . createParentDirectories ( target , item . getPath ( ) , item . getPath ( ) . length , context ) ; } final InputStream is = loader . openContentStream ( item ) ; try { return IoUtils . copy ( is , target ) ; } finally { IoUtils . safeClose ( is ) ; } } } @ Override ContentModification createRollbackEntry ( ContentModification original , byte [ ] targetHash , byte [ ] itemHash ) { } static void createParentDirectories ( final File target , String [ ] path , int depth , final PatchingTaskContext context ) throws IOException { } }

Fix:
if ( ( ! ( target . mkdirs ( ) ) ) && ( ! ( target . isDirectory ( ) ) ) ) {
Buggy code:
public abstract class Layout implements OptionHandler { public static final String LINE_SEP = System . getProperty ( "line.separator" ) ; public static final int LINE_SEP_LEN = Layout . LINE_SEP . length ( ) ; static final Logger logger = Logger . getLogger ( Layout . class ) ; public CharArrayWriter charArrayWriter = new CharArrayWriter ( 1024 ) ; String header ; String footer ; LoggerRepository repository ; protected boolean ignoresThrowable = true ; public String format ( LoggingEvent event ) { } public abstract void format ( Writer output , LoggingEvent event ) throws IOException { } public String getContentType ( ) { } public String getHeader ( ) { } public String getFooter ( ) { } public boolean ignoresThrowable ( ) { } public void setIgnoresThrowable ( boolean ignoresThrowable ) { } public void setFooter ( String footer ) { } public void setHeader ( String header ) { } public LoggerRepository getLoggerRepository ( ) { } public void setLoggerRepository ( LoggerRepository repository ) throws IllegalStateException { if ( repository == null ) { throw new IllegalArgumentException ( "repository<seq2seq4repair_space>argument<seq2seq4repair_space>cannot<seq2seq4repair_space>be<seq2seq4repair_space>null" ) ; } <START_BUG> if ( ( this . repository ) != null ) { <END_BUG> this . repository = repository ; } else { throw new IllegalStateException ( "Repository<seq2seq4repair_space>has<seq2seq4repair_space>been<seq2seq4repair_space>already<seq2seq4repair_space>set" ) ; } } }

Fix:
if ( ( this . repository ) == null ) {
Buggy code:
public abstract class AbstractBrushTool extends Tool implements ImageSwitchListener { private static final int MIN_BRUSH_RADIUS = 1 ; public static final int MAX_BRUSH_RADIUS = 100 ; public static final int DEFAULT_BRUSH_RADIUS = 10 ; boolean respectSelection = true ; private JComboBox < BrushType > typeSelector ; protected Graphics2D graphics ; private final RangeParam brushRadiusParam = new RangeParam ( "Radius" , AbstractBrushTool . MIN_BRUSH_RADIUS , AbstractBrushTool . MAX_BRUSH_RADIUS , AbstractBrushTool . DEFAULT_BRUSH_RADIUS , false , WEST ) ; private final EnumComboBoxModel < Symmetry > symmetryModel = new EnumComboBoxModel ( Symmetry . class ) ; protected Brush brush ; private SymmetryBrush symmetryBrush ; protected BrushAffectedArea brushAffectedArea ; private boolean firstMouseDown = true ; private JButton brushSettingsButton ; AbstractBrushTool ( char activationKeyChar , String name , String iconFileName , String toolMessage , Cursor cursor ) { } protected void initBrushVariables ( ) { } protected void addTypeSelector ( ) { } protected void addSizeSelector ( ) { } protected void addSymmetryCombo ( ) { } protected void addBrushSettingsButton ( ) { brushSettingsButton = settingsPanel . addButton ( "Brush<seq2seq4repair_space>Settings" , ( e ) -> { BrushType brushType = ( ( BrushType ) ( typeSelector . getSelectedItem ( ) ) ) ; JPanel p = brushType . getSettingsPanel ( this ) ; <START_BUG> new OKDialog ( PixelitorWindow . getInstance ( ) , p , "Brush<seq2seq4repair_space>Settings" ) ; <END_BUG> } ) ; brushSettingsButton . setEnabled ( false ) ; } @ Override public void mousePressed ( MouseEvent e , ImageDisplay ic ) { } protected boolean withLine ( MouseEvent e ) { } @ Override public void mouseDragged ( MouseEvent e , ImageDisplay ic ) { } @ Override public void mouseReleased ( MouseEvent e , ImageDisplay ic ) { } abstract BufferedImage getOriginalImage ( Composition comp ) { } abstract void mergeTmpLayer ( Composition comp ) { } private void finishBrushStroke ( Composition comp ) { } public void drawBrushStrokeProgrammatically ( Composition comp , Point startingPoint , Point endPoint ) { } abstract void createGraphicsForNewBrushStroke ( Composition comp , ImageLayer layer ) { } private void drawTo ( Composition comp , int x , int y , boolean connectClickWithLine ) { } private void setupDrawingRadius ( ) { } @ Override protected void toolStarted ( ) { } @ Override public void noOpenImageAnymore ( ) { } @ Override public void newImageOpened ( ) { } @ Override public void activeImageHasChanged ( ImageComponent oldIC , ImageComponent newIC ) { } private void resetState ( ) { } public void trace ( Composition comp , Shape shape ) { } private void doTraceAfterSetup ( Shape shape ) { } public void increaseBrushSize ( ) { } public void decreaseBrushSize ( ) { } protected Symmetry getSymmetry ( ) { } protected int getRadius ( ) { } @ Override protected boolean doColorPickerForwarding ( ) { } }

Fix:
toolDialog = new OKDialog ( PixelitorWindow . getInstance ( ) , p , "Brush<seq2seq4repair_space>Settings" ) ;
Buggy code:
class AsyncResult implements IAsyncResult { private static Logger logger_ = LoggerFactory . getLogger ( AsyncResult . class ) ; private byte [ ] result_ ; private AtomicBoolean done_ = new AtomicBoolean ( false ) ; private Lock lock_ = new ReentrantLock ( ) ; private Condition condition_ ; private long startTime_ ; public AsyncResult ( ) { } public byte [ ] get ( ) { } public boolean isDone ( ) { } public byte [ ] get ( long timeout , TimeUnit tu ) throws TimeoutException { lock_ . lock ( ) ; try { boolean bVal = true ; try { if ( ! ( done_ . get ( ) ) ) { <START_BUG> long overall_timeout = ( ( System . currentTimeMillis ( ) ) - ( startTime_ ) ) + timeout ; <END_BUG> if ( overall_timeout > 0 ) bVal = condition_ . await ( overall_timeout , TimeUnit . MILLISECONDS ) ; else bVal = false ; } } catch ( InterruptedException ex ) { throw new AssertionError ( ex ) ; } if ( ( ! bVal ) && ( ! ( done_ . get ( ) ) ) ) { throw new TimeoutException ( "Operation<seq2seq4repair_space>timed<seq2seq4repair_space>out." ) ; } } finally { lock_ . unlock ( ) ; } return result_ ; } public void result ( Message response ) { } }

Fix:
long overall_timeout = timeout - ( ( System . currentTimeMillis ( ) ) - ( startTime_ ) ) ;
Buggy code:
public class Tmn extends MelodyFrameGenerator { private int cMax ; private List < Float > conversionTable ; private SimpleMatrix nextToneMatrix ; private NMarkov chordsMarkov ; private static final int chordsOrder = 1 ; private static final int MELODYORDER = 2 ; public Tmn ( int pMax , int dMax , int cMax , List < Float > conversionTable ) { } @ Override public void train ( List < ? extends List < Frame > > data ) { } private List < ? extends List < Note > > getChordData ( List < ? extends List < Frame > > data ) { } public Frame generateFrame ( Frame prev , List < List < Frame > > data , Random rand ) { ArrayList < Note > prevs = new ArrayList < Note > ( ) ; prevs . add ( new Note ( 1 , prev . getChord ( ) ) ) ; int chord = chordsMarkov . generateNote ( prevs , rand ) . getPitch ( ) ; int pitch = generatePitch ( prev . getLastNote ( ) . getPitch ( ) , chord , rand ) ; NMarkov melodyGen = new NMarkov ( Tmn . MELODYORDER , pMax , dMax ) ; melodyGen . train ( filterData ( chord , data ) ) ; <START_BUG> List < Note > melodyPackage = melodyGen . generateSong ( 0.5 , pitch ) ; <END_BUG> return new Frame ( melodyPackage , chord ) ; } private int getRowPos ( int pitch , int chord ) throws IllegalArgumentException { } public int getFirstPitch ( List < List < Note > > data , Random rand ) { } public int generatePitch ( int prevP , int chord , Random rand ) { } @ Override public List < Frame > generateSong ( int frames , List < List < Frame > > data ) { } private List < List < Note > > filterData ( int firstChord , List < List < Frame > > data ) { } }

Fix:
List < Note > melodyPackage = melodyGen . generateSong ( 0.5 , pitch , conversionTable ) ;
Buggy code:
public class InstanceOfExpression extends OperatorExpression { public Expression expression ; public TypeReference type ; public InstanceOfExpression ( Expression expression , TypeReference type , int operator ) { } public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { } public final boolean areTypesCastCompatible ( BlockScope scope , TypeBinding castTb , TypeBinding expressionTb ) { } public void generateCode ( BlockScope currentScope , CodeStream codeStream , boolean valueRequired ) { } public TypeBinding resolveType ( BlockScope scope ) { constant = NotAConstant ; TypeBinding expressionTb = expression . resolveType ( scope ) ; TypeBinding checkTb = type . resolveType ( scope ) ; if ( ( expressionTb == null ) || ( checkTb == null ) ) return null ; if ( ! ( areTypesCastCompatible ( scope , checkTb , expressionTb ) ) ) { scope . problemReporter ( ) . notCompatibleTypesError ( this , expressionTb , checkTb ) ; return null ; } <START_BUG> this . typeBinding = BooleanBinding ; <END_BUG> return BooleanBinding ; } public String toStringExpressionNoParenthesis ( ) { } public void traverse ( IAbstractSyntaxTreeVisitor visitor , BlockScope scope ) { } }

Fix:
this . expressionType = BooleanBinding ;
Buggy code:
public abstract class AbstractDiscoveryTest extends TestCase { protected static final String NAMINGAUTHORITY = "IANA" ; protected static final String SCOPE = "local" ; protected static final String PROTOCOL = "tcp" ; protected static final int PORT = 3282 ; protected static final String [ ] SERVICES = new String [ ] { "service" , "ecf" , "tests" } ; protected static final String SERVICE_TYPE = ( ( ( ( ( ( ( ( ( ( "_" + ( AbstractDiscoveryTest . SERVICES [ 0 ] ) ) + "._" ) + ( AbstractDiscoveryTest . SERVICES [ 1 ] ) ) + "._" ) + ( AbstractDiscoveryTest . SERVICES [ 2 ] ) ) + "._" ) + ( AbstractDiscoveryTest . PROTOCOL ) ) + "." ) + ( AbstractDiscoveryTest . SCOPE ) ) + "._" ) + ( AbstractDiscoveryTest . NAMINGAUTHORITY ) ; public URI createDefaultURI ( ) { <START_BUG> return URI . create ( ( ( "foo:////" + ( getAuthority ( ) ) ) + "//" ) ) ; <END_BUG> } private String getAuthority ( ) { } protected static String getHost ( ) { } }

Fix:
return URI . create ( ( ( ( ( AbstractDiscoveryTest . PROTOCOL ) + ":////" ) + ( getAuthority ( ) ) ) + "//" ) ) ;
Buggy code:
public class SelectorAdapter extends Selector { @ Override public boolean isOpen ( ) { } @ Override public SelectorProvider provider ( ) { } @ Override public Set < SelectionKey > keys ( ) { } @ Override public Set < SelectionKey > selectedKeys ( ) { } @ Override public int selectNow ( ) throws IOException { } @ Override <START_BUG> public int select ( long timeout ) throws IOException { <END_BUG> return 0 ; } @ Override public int select ( ) throws IOException { } @ Override public Selector wakeup ( ) { } @ Override public void close ( ) throws IOException { } }

Fix:
public int select ( final long timeout ) throws IOException {
Buggy code:
public class ExpandableNodeCollapseTask implements Task { private CyNetworkView networkView ; private CyNode nodeToCollapse ; public ExpandableNodeCollapseTask ( CyNode node , CyNetworkView networkView ) { } @ Override public void cancel ( ) { } @ Override public void run ( TaskMonitor arg0 ) throws Exception { CyNetwork underlyingNetwork = networkView . getModel ( ) ; OntologyNetwork ontologyNetwork = MyApplicationCenter . getCorrespondingOntologyNetwork ( underlyingNetwork ) ; ExpandableNode expandableNode = ontologyNetwork . getCorrespondingNode ( nodeToCollapse ) ; expandableNode . collapse ( ) ; <START_BUG> ViewOperationUtils . updateOntologyNetworkView ( ontologyNetwork . getAllNodes ( ) , networkView , false ) ; <END_BUG> } }

Fix:
ViewOperationUtils . hideSubTree ( expandableNode , networkView ) ;
Buggy code:
public class Helicopter3D { public Position pos ; private Spatial helicopter3DModel ; private Helicopter helicopter ; private void createHelicopter3D ( AssetManager assetManager , Helicopter helicopter ) { helicopter3DModel = assetManager . loadModel ( "Models//helicopter.obj" ) ; BoundingBox heliBounding = ( ( BoundingBox ) ( helicopter3DModel . getWorldBound ( ) ) ) ; <START_BUG> helicopter3DModel . scale ( ( ( float ) ( getScalingFactor ( heliBounding , helicopter ) ) ) ) ; <END_BUG> helicopter3DModel . rotate ( 0 , ( ( float ) ( Conversions . degreeToRadians ( helicopter . getHeading ( ) ) ) ) , 0 ) ; Material helicopterMaterial = new Material ( assetManager , "Common//MatDefs//Misc//Unshaded.j3md" ) ; helicopterMaterial . setColor ( "Color" , White ) ; this . helicopter3DModel . setMaterial ( helicopterMaterial ) ; } public Helicopter3D ( AssetManager assetManager , Helicopter helicopter ) { } public ArrayList < HeliStats > stats ( ) { } public void addToRootNode ( Node rootNode ) { } public void updatePosition ( ) { } public double getScalingFactor ( BoundingBox heliBounding , Helicopter helicopter ) { } }

Fix:
helicopter3DModel . scale ( ( ( ( float ) ( getScalingFactor ( heliBounding , helicopter ) ) ) * 10 ) ) ;
Buggy code:
public class AnalyticsPresenter extends PresenterWidget < IsAnalyticsView > implements AnalyticsUiHandlers , ClientConstants { private CollectionProgressPresenter collectionProgressPresenter ; private CollectionSummaryPresenter collectionSummaryPresenter ; public static final Object COLLECTION_PROGRESS_SLOT = new Object ( ) ; public static final Object COLLECTION_SUMMARY_SLOT = new Object ( ) ; ClasspageDo classpageDo = null ; @ Inject private AnalyticsServiceAsync analyticService ; @ Inject private ClasspageServiceAsync classpageService ; @ Inject public AnalyticsPresenter ( EventBus eventBus , IsAnalyticsView view , CollectionProgressPresenter collectionProgressPresenter , CollectionSummaryPresenter collectionSummaryPresenter ) { } @ Override public void getGradeCollectionJson ( ) { } @ Override public void setClickedTabPresenter ( String clickedTab , String collectionId , String selectedCollectionTitle ) { } public AnalyticsServiceAsync getAnalyticService ( ) { } public void setAnalyticService ( AnalyticsServiceAsync analyticService ) { } @ Override protected void onHide ( ) { } public ClasspageServiceAsync getClasspageService ( ) { } public void setClasspageService ( ClasspageServiceAsync classpageService ) { } @ Override public void exportOEPathway ( String classpageId , String pathwayId , String timeZone ) { <START_BUG> if ( ( ( ! ( StringUtil . isEmpty ( classpageId ) ) ) && ( ! ( StringUtil . isEmpty ( pathwayId ) ) ) ) && ( ! ( StringUtil . isEmpty ( timeZone ) ) ) ) { <END_BUG> this . analyticService . exportPathwayOE ( classpageId , pathwayId , timeZone , new com . google . gwt . user . client . rpc . AsyncCallback < String > ( ) { @ Override public void onSuccess ( String result ) { getView ( ) . getFrame ( ) . setUrl ( result ) ; } @ Override public void onFailure ( Throwable caught ) { } } ) ; } } @ Override public CollectionProgressPresenter getCollectionProgressPresenter ( ) { } @ Override public CollectionSummaryPresenter getCollectionSummaryPresenter ( ) { } @ Override public void checkCollectionStaus ( String classpageId , String collectionId ) { } @ Override public Frame getIframe ( ) { } }

Fix:
if ( ( ! ( StringUtil . isEmpty ( classpageId ) ) ) && ( ! ( StringUtil . isEmpty ( timeZone ) ) ) ) {
Buggy code:
public class Label { static final int DEBUG = 1 ; static final int RESOLVED = 2 ; static final int RESIZED = 4 ; static final int PUSHED = 8 ; static final int TARGET = 16 ; static final int STORE = 32 ; static final int REACHABLE = 64 ; static final int JSR = 128 ; static final int RET = 256 ; static final int SUBROUTINE = 512 ; static final int VISITED = 1024 ; static final int VISITED2 = 2048 ; public Object info ; int status ; int line ; int position ; private int referenceCount ; private int [ ] srcAndRefPositions ; int inputStackTop ; int outputStackMax ; Frame frame ; Label successor ; Edge successors ; Label next ; public Label ( ) { } public int getOffset ( ) { } void put ( final MethodWriter owner , final ByteVector out , final int source , final boolean wideOffset ) { } private void addReference ( final int sourcePosition , final int referencePosition ) { } boolean resolve ( final MethodWriter owner , final int position , final byte [ ] data ) { } Label getFirst ( ) { } boolean inSubroutine ( final long id ) { } boolean inSameSubroutine ( final Label block ) { } void addToSubroutine ( final long id , final int nbSubroutines ) { if ( ( ( status ) & ( Label . VISITED ) ) == 0 ) { status |= Label . VISITED ; <START_BUG> srcAndRefPositions = new int [ ( ( nbSubroutines - 1 ) // 32 ) + 1 ] ; <END_BUG> } srcAndRefPositions [ ( ( int ) ( id > > > 32 ) ) ] |= ( ( int ) ( id ) ) ; } void visitSubroutine ( final Label JSR , final long id , final int nbSubroutines ) { } @ Override public String toString ( ) { } }

Fix:
srcAndRefPositions = new int [ ( nbSubroutines // 32 ) + 1 ] ;
Buggy code:
public class LogFilter implements Serializable , Filter { private static final long serialVersionUID = 240L ; private static final Logger log = LoggingManager . getLoggerForClass ( ) ; protected boolean CHANGEEXT = false ; protected String OLDEXT = null ; protected String NEWEXT = null ; protected String [ ] INCFILE = null ; protected String [ ] EXCFILE = null ; protected boolean FILEFILTER = false ; protected boolean USEFILE = true ; protected String [ ] INCPTRN = null ; protected String [ ] EXCPTRN = null ; protected boolean PTRNFILTER = false ; protected ArrayList < Pattern > EXCPATTERNS = new ArrayList < Pattern > ( ) ; protected ArrayList < Pattern > INCPATTERNS = new ArrayList < Pattern > ( ) ; protected String NEWFILE = null ; public LogFilter ( ) { } public void setReplaceExtension ( String oldext , String newext ) { if ( ( oldext != null ) && ( newext != null ) ) { this . CHANGEEXT = true ; <START_BUG> if ( ( ( oldext . indexOf ( "." ) ) < 0 ) && ( ( newext . indexOf ( "." ) ) < 0 ) ) { <END_BUG> this . OLDEXT = "." + oldext ; this . NEWEXT = "." + newext ; } else { this . OLDEXT = oldext ; this . NEWEXT = newext ; } } } public void includeFiles ( String [ ] filenames ) { } public void excludeFiles ( String [ ] filenames ) { } public void includePattern ( String [ ] regexp ) { } public void excludePattern ( String [ ] regexp ) { } public boolean isFiltered ( String path , TestElement el ) { } protected boolean filterFile ( String file ) { } public boolean incFile ( String text ) { } public boolean excFile ( String text ) { } protected boolean filterPattern ( String text ) { } protected boolean incPattern ( String text ) { } protected boolean excPattern ( String text ) { } public boolean replaceExtension ( String text ) { } public String filter ( String text ) { } public Pattern createPattern ( String pattern ) { } public void reset ( ) { } }

Fix:
if ( ( ( oldext . indexOf ( '.' ) ) < 0 ) && ( ( newext . indexOf ( '.' ) ) < 0 ) ) {
Buggy code:
public class IntervalRequirementsTranslator extends CartesianRequirementsTranslator < IntervalAnalysisState > { public IntervalRequirementsTranslator ( final Configuration pConfig , final ShutdownNotifier pShutdownNotifier , final LogManager pLog ) { } @ Override protected List < String > getVarsInRequirements ( final IntervalAnalysisState pRequirement ) { } @ Override protected List < String > getListOfIndependentRequirements ( final IntervalAnalysisState pRequirement , final SSAMap pIndices ) { } private String getRequirement ( final String var , final Interval interval ) { StringBuilder sb = new StringBuilder ( ) ; boolean isMin = ( interval . getLow ( ) ) == ( Long . MIN_VALUE ) ; <START_BUG> boolean isMax = ( interval . getLow ( ) ) == ( Long . MAX_VALUE ) ; <END_BUG> Preconditions . checkArgument ( ( ( ! isMin ) || ( ! isMax ) ) ) ; Preconditions . checkArgument ( ( ! ( interval . isEmpty ( ) ) ) ) ; if ( ( ! isMin ) && ( ! isMax ) ) { sb . append ( "(and<seq2seq4repair_space>(>=<seq2seq4repair_space>" ) ; sb . append ( var ) ; sb . append ( "<seq2seq4repair_space>" ) ; sb . append ( interval . getLow ( ) ) ; sb . append ( ")<seq2seq4repair_space>(<=<seq2seq4repair_space>" ) ; sb . append ( var ) ; sb . append ( "<seq2seq4repair_space>" ) ; sb . append ( interval . getHigh ( ) ) ; sb . append ( "))" ) ; } else if ( ! isMin ) { sb . append ( "(>=<seq2seq4repair_space>" ) ; sb . append ( var ) ; sb . append ( "<seq2seq4repair_space>" ) ; sb . append ( interval . getLow ( ) ) ; sb . append ( ")" ) ; } else if ( ! isMax ) { sb . append ( "(<=<seq2seq4repair_space>" ) ; sb . append ( var ) ; sb . append ( "<seq2seq4repair_space>" ) ; sb . append ( interval . getHigh ( ) ) ; sb . append ( ")" ) ; } return sb . toString ( ) ; } }

Fix:
boolean isMax = ( interval . getHigh ( ) ) == ( Long . MAX_VALUE ) ;